Carassius is a tool for editing of Petri nets and graphs.
It allows to create and edit models in a very simple manner. Carassius has features for model arrangements and formatting, thus it makes a model more readable and demonstrative. With Carassius one can simply construct the model and export automatically generated TeX-code for the paper.
Suitable markup languages: PNML and graphML.
System reqs: MS Windows and .NET Framework 4.0 or higher.
Carassius is made in HSE PAIS Lab.
Features
- Petri Net Editing
- Graph Editing
- Finite-State Machine Editing
- Communicating Finite-State Machines Editing
- TeX Export
Categories
MathematicsFollow Carassius: Simple Petri Net Editor
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Carassius: Simple Petri Net Editor!