1. Refinements in Petri Nets;Bluemke,1996
2. Hierarchies in colored Petri nets;Huber,1990
3. Colored Petri nets: a high-level language for system design and analysis;Jensen,1990
4. Modular construction and partial order semantics of Petri nets;Vogler,1992
5. Hierarchies of Place/Transitions Refinements in Petri Nets;Zuberek,1996