Carassius is a tool for editing of Petri nets and graphs.
...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.
HSE (Hibernate, Spring, Echo2) is a 3-tier base application for Echo2 designed to be a starting point for writing robust AJAX applications in Java, Spring, and Hibernate.
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.