Proceedings of ISP RAS

Carassius: A Simple Process Model Editor

N. Nikitina (HSE, Moscow), A. Mitsyuk (HSE, Moscow)


Process models of different types and graphs are commonly used for modeling and visualization of processes in information systems. They may represent sets of objects, tasks or events involved in process linked with each other in some way. Wide use of process models in various notations engenders necessity of software tools for creating, editing, and analysing them.
This paper describes the process model editor which allows for dealing with classical graphs, Petri nets, finite-state machines and systems of communicating automata. Additionally, the tool is armed with the following list of useful features: process simulation based on a Petri net token-based replay, import and export of process models in different persistent formats, various model layouts and other process visualization abilities. Moreover, Carassius is a modular tool which can be extended with additional process model notations, processing, import and export possibilities.
In the paper one can find a detailed description of a couple of layout algorithms already implemented in the tool. These algorithms for visualization of Petri nets and graphs can be used as a base point for further development of more refined process visualization approaches. Carassius might be useful for educational and research purposes because of its simplicity, range of features and variety of supported notations.


graph; Petri net; finite-state machine; process model; process model visualization; process model editor


Proceedings of the Institute for System Programming, vol. 27, issue 3, 2015, pp. 219-236.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2015-27(3)-15

Full text of the paper in pdf Back to the contents of the volume