4Elisabeth Pelz,Hans Fleischhack.Compositional high level petri nets with timing constraints-a comparison[A].Third International Conference on Application of Concurrency to System Design (ACSD'2003)[C].Califomia:IEEE Computer Society Press,2003.132-141.
5Victor Khomenko,Maciej Koutny.Branching processes of high-level petri nets[A].Garavel H,Hatcliff J (Eds.).Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2003),9th International Conference,Part of ETAPS 2003,Lecture Notes in Compu