SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets

This paper presents SONCraft - an open source tool for editing, simulating, and analysing Structured Occurrence Nets (SONs), which is a Petri net-based formalism for modelling the behaviour of complex evolving systems. The tool is implemented as a Java plug-in within the Workcraft platform, which is a flexible framework for the development and analysis of Interpreted Graph Models. SONCraft provides an easy to use graphical interface that facilitates model entry, supports interactive visual simulation, and allows the use of a set of analytical tools. We give an overview of SONCraft functionality and architecture.

[1]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[2]  Alexandre Yakovlev,et al.  Workcraft - A Framework for Interpreted Graph Models , 2009, Petri Nets.

[3]  Raymond R. Devillers,et al.  Sequential and Concurrent Behaviour in Petri Net Theory , 1987, Theor. Comput. Sci..

[4]  Bowen Li,et al.  Time in Structured Occurrence Nets , 2016, PNSE @ Petri Nets.

[5]  Maciej Koutny,et al.  Causality in Structured Occurrence Nets , 2011, Dependable and Historic Computing.

[6]  Maciej Koutny,et al.  Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques , 2009, Fundam. Informaticae.

[7]  Brian Randell.  Occurrence Nets Then and Now: The Path to Structured Occurrence Nets , 2011, Petri Nets.

[8]  Bowen Li,et al.  Visualisation and analysis of complex behaviours using structured occurrence nets , 2017 .

[9]  Ivan Poliakov.  Interpreted graph models , 2011 .

[10]  Alexandre Yakovlev,et al.  Conditional Partial Order Graphs: Model, Synthesis, and Application , 2010, IEEE Transactions on Computers.

[11]  Maciej Koutny,et al.  SONCraft: A Tool for Construction, Simulation and Verification of Structured Occurrence Nets , 2016 .

[12]  Josep Carmona,et al.  POD - A Tool For Process Discovery Using Partial Orders and Independence Information , 2015, BPM.

[13]  Joost Engelfriet,et al.  Branching processes of Petri nets , 1991, Acta Informatica.

[14]  A. Sangiovanni-Vincentelli,et al.  A unified signal transition graph model for asynchronous control circuit synthesis , 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

[15]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[16]  Michael Westergaard,et al.  CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets , 2003, ICATPN.

[17]  Maciej Koutny,et al.  Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence , 2009 .