Search Results for "petri-foo"

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

...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.

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. ...

A comprehensive business framework to enable sophisticated enterprise workflows. Define, simulate and deploy cross-platform workflows while being able to enrich and customize the core services on demand.

The Fuzzy Workflow Nets (FWN) is an implementation of Fuzzy Petri nets suitable for modeling business processes in an uncertain environment.