Carassius: A Simple Process Model Editor
https://doi.org/10.15514/ISPRAS-2015-27(3)-15
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.
About the Authors
N. Nikitina
PAIS laboratory, National Research University Higher School of Economics
Russian Federation
Russian Federation
A. Mitsyuk
PAIS laboratory, National Research University Higher School of Economics
Russian Federation
Russian Federation
References
1. M. Dumas, W. M. van der Aalst, and A. H. ter Hofstede, Process-aware Information Systems: Bridging People and Software Through Process Technology. New York, NY, USA: John Wiley & Sons, Inc., 2005.
2. M. Weber and E. Kindler, “The petri net markup language,” in Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, 2003, pp. 124-144.
3. J. Billington, S. Christensen, K. M. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M. Weber, “The petri net markup language: Concepts, technology, and tools,” in Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, 2003, pp. 483-505.
4. U. Brandes, M. Eiglsperger, I. Herman, M. Himsolt, and M. Marshall, “Graphml progress report structural layer proposal,” in Graph Drawing, ser. Lecture Notes in Computer Science, P. Mutzel, M. Jnger, and S. Leipert, Eds. Springer Berlin Heidelberg, 2002, vol. 2265, pp. 501-512.
5. U. Brandes, M. Eiglsperger, I. Herman, M. Himsolt, and M. S. Marshall, “Graphml progress report,” in Graph Drawing, 2001, pp. 501-512.
6. W. Reisig, Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies. Springer, 2013.
7. T. Murata, “Petri nets: Properties, analysis and applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, 1989.
8. J. A. Anderson, Automata theory with modern applications. Cambridge University Press, 2006.
9. L. Hillah, E. Kindler, F. Kordon, L. Petrucci, and N. Treves, “A primer on the petri net markup language and iso/iec 15909-2,” Petri Net Newsletter, vol. 76, pp. 9-28, 2009.
10. U. Brandes, M. Eiglsperger, and J. Lerner, “Graphml primer,” Online: http://graphml. graphdrawing. org/primer/graphml-primer. html [29.05.2007], 2004.
11. G. D. Battista, P. Eades, R. Tamassia, and I. G. Tollis, Graph Drawing: Algorithms for the Visualization of Graphs. Prentice-Hall, 1999.
12. V. Kasianov and V. Evstigneev, Grafi v programmirovanii. BHV - Peterburg, 2003. (In Russian)
13. S. G. Kobourov, “Spring embedders and force directed graph drawing algorithms,” arXiv preprint arXiv:1201.3011, 2012.
14. M. Westergaard and L. M. Kristensen, “The access/cpn framework: A tool for interacting with the cpn tools simulator,” in Applications and Theory of Petri Nets. Springer, 2009, pp. 313-322.
15. K. van Hee, O. Oanea, R. Post, L. Somers, and J. M. van der Werf, “Yasper: a tool for workflow modeling and analysis,” in Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on. IEEE, 2006, pp. 279-282.
16. B. Berthomieu*, P.-O. Ribet, and F. Vernadat, “The tool tina - construction of abstract state spaces for petri nets and time petri nets,” International Journal of Production Research, vol. 42, no. 14, pp. 2741-2756, 2004.
17. A. K. Begicheva and I. A. Lomazova, “Checking conformance of high-level business process models to event logs,” in Proceedings of the Spring/Summer Young Researchers Colloquium on Software Engineering, vol. 8, 2014.
18. A. A. Mitsyuk and I. S. Shugurov, “On process model synthesis based on event logs with noise,” Modeling and analysis of information systems, vol. 4(21), pp. 181-198, 2014.
19. N. Nikitina and A.Mitsyuk, “Carassius: A Simple Petri Net Editor,” accessed: 2015-04-01. [Online]. Available: www.pais.hse.ru/research/projects/carassius
Review
For citations:
Nikitina N., Mitsyuk A. Carassius: A Simple Process Model Editor. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(3):219-236. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(3)-15
Email this article 