Étienne André
Christine Choppy
Kais Klai
2012
Formalizing non-concurrent UML state machines using colored Petri nets
ACM SIGSOFT Software Engineering Notes
37
4
1–8
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
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
1–8
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
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
45–78
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
iFM
Lecture Notes in Computer Science
7940
Springer
331–346
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
OMG
2011
OMG Unified Modeling Language (OMG UML) Superstructure. Version 2.4.1, 2011-08-06.
http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF/
Robert G. Pettit IV
Hassan Gomaa
2006
Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets
ISORC
IEEE Computer Society
303–312
http://doi.ieeecomputersociety.org/10.1109/ISORC.2006.55
Michael Westergaard
2013
CPN Tools 4: Multi-formalism and Extensibility
Petri Nets
Lecture Notes in Computer Science
7927
Springer
400–409
http://dx.doi.org/10.1007/978-3-642-38697-8_22
Shaojie Zhang
Yang Liu
2010
An Automatic Approach to Model Checking UML State Machines
SSIRI (Companion)
IEEE Computer Society
1–6
http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.11