Carassius: Simple Petri Net Editor download

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

Project Samples

Project Activity

See All Activity >

Follow Carassius: Simple Petri Net Editor

Carassius: Simple Petri Net Editor Web Site

Other Useful Business Software

Cut Data Warehouse Costs by 54%

Easily migrate from Snowflake, Redshift, or Databricks with free tools.

BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Carassius: Simple Petri Net Editor!

Additional Project Details

Operating Systems

Windows

Languages

English

Intended Audience

Education, Science/Research

Programming Language

Related Categories

C# Mathematics Software

Registered

2014-09-05

Similar Business Software

QBench

QBench is a cloud-based Laboratory Information Management System (LIMS) designed to help laboratories manage samples, workflows, data, inventory, reporting, quality processes, and client interactions in one platform. Labs use QBench to manage laboratory operations from order placement and...

See Software for QBench
Lockbox LIMS

A sample tracking, test result capture, and inventory management cloud LIMS for life science research, biotech/NGS, and industrial QC labs. Includes regulatory support for CLIA, HIPAA, Part 11, and ISO 17025. Nothing is more critical to a lab’s success than the quality, security, and...

See Software for Lockbox LIMS
Qualio

Qualio is the leading quality and compliance platform built exclusively for emerging life sciences companies. MedTech, pharma, biotech, and diagnostics teams use Qualio to standardize quality processes, connect them to regulatory obligations, and gain real-time visibility into compliance...

See Software for Qualio
Calira

Calira is an equipment booking and management platform for shared R&D lab equipment. It replaces the shared spreadsheets, Outlook calendars, paper signup sheets, and other improvised systems that most labs use to manage access to shared instruments. Labs use Calira to track instrument...

See Software for Calira
Labguru

Labguru is a secure, cloud-based Electronic Lab Notebook (ELN), LIMS and informatics platform which offers a complete solution for life science research and industry. It records and manages laboratory data and inventory, includes molecular biology tools and chemistry tools, enables automation of...

See Software for Labguru
JADBio AutoML

JADBio is a state-of-the-art automated Machine Learning Platform without the need for coding. With its breakthrough algorithms it can solve open problems in machine learning. Anybody can use it and perform a sophisticated and correct machine learning analysis even if they do not know any math,...

See Software for JADBio AutoML

Report inappropriate content