Search Results for "petri nets"

ProM is the comprehensive, extensible framework for process mining. Process Mining deals with the a-posteriori analysis of (business) processes using enactment logs.

Java Modelling Tools is a suite of scientific tools for performance analysis and modelling using queueing theory and colored stochastic Petri nets. Models are solved either with analytical, asymptotic or simulation methods; workload characterization tools are also included in the suite. See the project website for more details: http://jmt.sf.net

...For graphical representation, the EdPM/EPM notation is used, which allowed us to implement: - structural-functional modeling using graphical methods; - the study of the efficiency of structural-functional models using simulation methods, that allow (e.g. unlike Petri nets) to process queries in groups, which is important for the study of the efficiency of using such methods as volumetric calendar planning and AI methods in process activities, since the operating time of these methods depends on the number of parameters and changes nonlinearly; - the study of multiprocess systems; - the results were obtained, that allow you to find efficient topologies of structural-functional models.

Java application for virtual tool shop simulation. Application allows simulation of exchange jobs between some tool shops. Jobs are grouped in projects and are organized in Petri nets (sequences of activities and stores).

This project moved to GitHub in 2021 and is available at: https://cbrinkrolf.github.io/VANESA/ This tool is a platform-independent software to create individual pathways and to examine biological networks of distributed, heterogeneous data sources, e.g. KEGG, BRENDA. VANESA also offers Petri net modeling of extended hybrid Petri nets which can be also simulated using the OpenModelica framework.

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution. ...

Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. ...

.... * PetriNetExec is embeddable into your Java application. This means that you can build your own application and add Petri Nets into it. * PetriNetExec is open-source.

Create and simulate Hybrid Petri Nets.

Java editor for petri nets, based on the ARP analyzer. Exports nets to GIF, JPEG, PNG, PPM, ARP and PNML (XML based) file format. Uses the excellent JHotDraw 5.2 framework.

The Toolbox GraphC generates a graph of classes for fuzzy time Petri nets, taking into account unbounded transitions. This project is a scientific research project conducted by LAAS-CNRS and IRIT-UT1, France.

This project is an implementation of a BML realizer using ROS. The algorithm uses an event-driven architecture, based on Petri nets, to ensure synchronization constraints for robots.