1. The Java Programming Language;Arnold,1996
2. Improving UML with Petri nets;Baresi,2001
3. From UML sequence diagrams and statecharts to analysable Petri net models;Bernardi,2002
4. Design/CPN—A computer tool for coloured Petri nets;Christensen,1997
5. System modelling with high-level Petri nets;Genrich;Theoretical Computer Science,1981