1. Structural transformation giving B-equivalent PT-nets;Andre,1983
2. Reductions of nets and parallel programs;Bertheiot,1980
3. Marked directed graphs;Commoner;J. Comput. System Sci.,1971
4. Elements of general net theory;Genrich,1980
5. System modelling with high-level Petri nets;Genrich;Theoret. Comput. Sci.,1981