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