Carassius: a simple process model editor

Abstract. Process models and graphs are commonly used for modeling and visualization of processes. They may represent sets of objects or events linked with each other in some way. Wide use of models in such languages engenders necessity of tools for creating and editing them. This paper describes the model editor which allows for dealing with classical graphs, Petri nets, finite-state machines and their systems. Additionally, the tool has a list of features like simulation of Petri nets, import and export of models in different storage formats. Carassius is a modular tool which can be extended with, for example, new formalisms. In the paper one can find a detailed description of a couple of layout algorithms that can be used for visualizing Petri nets and graphs. Carassius might be useful for educational and research purposes because of its simplicity, range of features and variety of supported notations. Keywords: graph; Petri net; finite-state machine; process model; process model visualization; process model editor

[1]  James A. Anderson.  Automata theory with modern applications , 2006 .

[2]  Alexey A. Mitsyuk,et al.  On process model synthesis based on event logs with noise , 2016, Automatic Control and Computer Sciences.

[3]  Fabrice Kordon,et al.  A primer on the Petri Net Markup Language and ISO/IEC 15909-2 , 2009 .

[4]  Ulrik Brandes,et al.  GraphML Progress Report , 2001, GD.

[5]  Wolfgang Reisig,et al.  Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies , 2013, Bull. EATCS.

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

[7]  Irina A. Lomazova,et al.  Checking Conformance of High-Level Business Process Models to Event Logs , 2014 .

[8]  Wil M. P. van der Aalst,et al.  Process Aware Information Systems: Bridging People and Software Through Process Technology , 2005 .

[9]  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).

[10]  Michael Westergaard,et al.  The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator , 2009, Petri Nets.

[11]  F. Vernadat,et al.  The tool TINA – Construction of abstract state spaces for petri nets and time petri nets , 2004 .

[12]  Stephen G. Kobourov,et al.  Spring Embedders and Force Directed Graph Drawing Algorithms , 2012, ArXiv.

[13]  Laure Petrucci,et al.  The Petri Net Markup Language: Concepts, Technology, and Tools , 2003, ICATPN.