@article(Baarir:09,
 author       = {S. Baarir and M. Beccuti and D. Cerotti and M. De Pierro and S. Donatelli and G. Franceschinis},
 year         = {2009},
 title        = {The {GreatSPN} Tool: Recent Enhancements},
 journal      = {SIGMETRICS Perform. Eval. Rev.},
 volume       = {36},
 number       = {4},
 pages        = {4--9},
 doi          = {10.1145/1530873.1530876},
)
@article(BaCoGaMon,
 author       = {P. Baldan and A. Corradini and F. Gadducci and U. Montanari},
 year         = {2010},
 title        = {From Petri Nets to Graph Transformation Systems},
 journal      = {ECEASST},
 volume       = {26},
 doi          = {10.14279/tuj.eceasst.26.368},
)
@inbook(QEST2015,
 author       = {L. Capra and De Pierro, M. and G. Franceschinis},
 year         = {2015},
 title        = {Computing structural properties of symmetric nets},
 pages        = {125--140},
 volume       = {9259},
 publisher    = {Springer International Publishing},
 doi          = {10.1007/978-3-319-22264-6_9},
)
@incollection(ATPN2005,
 author       = {L. Capra and M. De Pierro and G. Franceschinis},
 year         = {2005},
 title        = {{A High Level Language for Structural Relations in Well-Formed Nets}},
 booktitle    = {Proc. of the 26th Int. Conf. ATPN 2005},
 volume       = {LNCS 3536},
 publisher    = {Springer},
 pages        = {168--187},
 doi          = {10.1007/11494744_11},
)
@inproceedings(Valuetools2013,
 author       = {L. Capra and M. De Pierro and G. Franceschinis},
 year         = {2013},
 title        = {{A Tool for Symbolic Manipulation of Arc Functions in Symmetric Net Models}},
 booktitle    = {Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools},
 series       = {ValueTools '13},
 publisher    = {ICST},
 address      = {Torino, Italy},
 pages        = {320--323},
 doi          = {10.4108/icst.valuetools.2013.254407},
)
@article(ARCDFH93,
 author       = {G. Chiola and C. Dutheillet and G. Franceschinis and S. Haddad},
 year         = {1993},
 title        = {Stochastic well-formed colored nets and symmetric modeling applications},
 journal      = {IEEE Transactions on Computers},
 volume       = {42},
 number       = {11},
 pages        = {1343--1360},
 doi          = {10.1109/12.247838},
)
@article(CHIOLA97,
 author       = {G. Chiola and C. Dutheillet and G. Franceschinis and S. Haddad},
 year         = {1997},
 title        = {A symbolic reachability graph for coloured petri nets},
 journal      = {Theoretical Computer Science},
 volume       = {176},
 number       = {1},
 pages        = {39 -- 65},
 doi          = {10.1016/S0304-3975(96)00010-2},
)
@inproceedings(Cor96,
 author       = {A Corradini},
 year         = {2006},
 title        = {Concurrent graph and term graph rewriting},
 pages        = {438--464},
 doi          = {10.1007/3-540-61604-7_69},
)
@inproceedings(Duth:93,
 author       = {C. Dutheillet and S. Haddad},
 year         = {1993},
 title        = {{Conflict Sets in Colored {Petri} Nets}},
 booktitle    = {proc. of {Petri} Nets and Performance Models},
 pages        = {76--85},
 doi          = {10.1109/PNPM.1993.393433},
)
@inproceedings(Ehrig03,
 author       = {H. Ehrig and J. Padberg},
 year         = {2003},
 title        = {Graph Grammars and Petri Net Transformations},
 pages        = {496--536},
 doi          = {10.1007/978-3-540-27755-2_14},
)
@book(JensenBook1,
 author       = {K. Jensen},
 year         = {1997},
 title        = {Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use.},
 publisher    = {Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-60943-1.},
 doi          = {10.1007/978-3-662-03241-1},
)
@book(HLPN,
 editor       = {K. Jensen and G. Rozenberg},
 year         = {1991},
 title        = {High-level Petri Nets: Theory and Application},
 publisher    = {Springer-Verlag},
 address      = {London, UK},
 doi          = {10.1007/978-3-642-84524-6},
)
@inproceedings(Kre80,
 author       = {H.J. Kreowski},
 year         = {1980},
 title        = {A Comparison Between Petri-Nets and Graph Grammars.},
 volume       = {100},
 pages        = {306--317},
 doi          = {10.1007/3-540-10291-4_22},
)
@book(ReisigPN,
 author       = {W. Reisig},
 year         = {1985},
 title        = {Petri Nets: An Introduction},
 publisher    = {Springer-Verlag New York, Inc.},
 address      = {New York, NY, USA},
 doi          = {10.1007/978-3-642-69968-9},
)