Étienne André, Christine Choppy & Kais Klai (2012):
Formalizing non-concurrent UML state machines using colored Petri nets.
ACM SIGSOFT Software Engineering Notes 37(4),
pp. 1–8.
Available at http://doi.acm.org/10.1145/2237796.2237819.
UML&FM 2012.
ATLAS, LINA & INRIA (2006):
ATL : Atlas Transformation Language user manual, version 0.7.
Report.
Purandar Bhaduri & Sethu Ramesh (2004):
Model Checking of Statechart Models: Survey and Research Directions.
CoRR cs.SE/0407038.
Available at http://arxiv.org/abs/cs.SE/0407038.
Christine Choppy, Kais Klai & Hacene Zidani (2011):
Formal verification of UML state diagrams: A Petri net based approach.
SIGSOFT Software Engineering Notes 36,
pp. 1–8.
Available at http://doi.acm.org/10.1145/1921532.1921561.
Gerard J. Holzmann (2003):
The SPIN Model Checker: Primer and Reference Manual.
Addison Wesley.
Kurt Jensen & Lars Michael Kristensen (2009):
Coloured Petri Nets – Modelling and Validation of Concurrent Systems.
Springer.
Available at http://dx.doi.org/10.1007/b95112.
Jiexin Lian, Zhaoxia Hu & Sol M. Shatz (2008):
Simulation-based analysis of UML statechart diagrams: methods and case studies.
Software Quality Journal 16(1),
pp. 45–78.
Available at http://dx.doi.org/10.1007/s11219-007-9020-9.
Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa & Jin Song Dong (2013):
A Formal Semantics for the Complete Syntax of UML State Machines with Communications.
In: iFM,
Lecture Notes in Computer Science 7940.
Springer,
pp. 331–346.
Available at http://dx.doi.org/10.1007/978-3-642-38613-8_23.
Kenneth L. McMillan (1992):
Symbolic model checking: An approach to the state explosion problem,
Pittsburgh, PA, USA.
Robert G. Pettit IV & Hassan Gomaa (2006):
Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets.
In: ISORC.
IEEE Computer Society,
pp. 303–312.
Available at http://doi.ieeecomputersociety.org/10.1109/ISORC.2006.55.
Michael Westergaard (2013):
CPN Tools 4: Multi-formalism and Extensibility.
In: Petri Nets,
Lecture Notes in Computer Science 7927.
Springer,
pp. 400–409.
Available at http://dx.doi.org/10.1007/978-3-642-38697-8_22.