A Survey of Petri Net Tools

Petri net is a mathematical modeling language used to describe a system graphically. It is a strong language that can be used to represent parallel or concurrent activities in a system. With a Petri net tool, users can view the overall system graphically and edit it with the editor. A Petri net tool can also be used to analyze the performance of the system, generate code, simulate the system and perform model checking on it. A review on twenty Petri net tools in this paper will give the readers an idea on what is a Petri net tool and the main functions of a Petri net tool. This paper can serve as an introduction of twenty Petri net tools to the reader. However, to date, there are many Petri net tools available to be downloaded online. This survey paper aims to compare twenty Petri net tools in different aspect. This is important as users will not have to read the reviews of Petri net tools online one by one. Just be having a look at the discussion provided, readers can determined the best recommended Petri net tools to be used based on their operating systems and the types of Petri net tool to be analyzed. The main purpose of this survey paper is to recommend Petri net tools based on the operating system and the types of Petri net to be analyzed.

[1]  Mohamed Ariff Ameedeen,et al.  A model driven approach to analysis and synthesis of sequence diagrams , 2012 .

[2]  Martin Schwarick,et al.  Snoopy - A Unifying Petri Net Tool , 2012, Petri Nets.

[3]  Giovanni Chiola,et al.  GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.

[4]  Didier Buchs,et al.  Prototyping Object Oriented Specifications , 2003, ICATPN.

[5]  Gabriel Juhás,et al.  PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes , 2010, ACSD/Petri Nets Workshops.

[6]  Samuel Kounev,et al.  QPME: a performance modeling tool based on queueing Petri Nets , 2009, PERV.

[7]  Roland Meyer,et al.  Petruchio: From Dynamic Networks to Nets , 2010, CAV.

[8]  Serge Haddad,et al.  Application and Theory of Petri Nets , 2012, Lecture Notes in Computer Science.

[9]  Karsten Schmidt.  LoLA: a low level analyser , 2000 .

[10]  Martin Schwarick,et al.  MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly , 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

[11]  Didier Buchs,et al.  High-Level Petri Net Model Checking with AlPiNA , 2011, Fundam. Informaticae.

[12]  Kees M. van Hee,et al.  Yasper: a tool for workflow modeling and analysis , 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).

[13]  Wolfgang Reisig,et al.  Carl Adam Petri and "Petri Nets" , 2007 .

[14]  C. A. Petri.  Communication with automata , 1966 .

[15]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[16]  Johan Lilius,et al.  prod 3.2: An Advanced Tool for Efficient Reachability Analysis , 1997, CAV.

[17]  Eike Best,et al.  PEP - More than a Petri Net Tool , 1996, TACAS.

[18]  Robert Geist,et al.  Systems modeling with xpetri , 1994, Proceedings of Winter Simulation Conference.

[19]  Laure Petrucci,et al.  PAPETRI: Environment for the Analysis of Petri Nets , 1990, CAV.

[20]  C. Petri.  Kommunikation mit Automaten , 1962 .