
Maria
 Referenced in 19 articles
[sw04127]
 Maria: Modular reachability analyser for algebraic system nets Maria performs simulation, exhaustive reachability analysis ... model checking of highlevel Petri nets with fairness constraints. The algebra contains powerful built ... exported to lowlevel Petri nets and labelled transition systems. Translator programs allow Maria...

Renew
 Referenced in 18 articles
[sw04387]
 limited to, reference nets. Petri nets are a well established means to describe concurrent systems...

VipTool
 Referenced in 14 articles
[sw13755]
 verification of systems using place/transition Petri nets (p/tnets). It implements the research done ... Information systems by evaluating partiallyordered Petri net runs) that was sponsored by the German ... concept for business processes given by Petri nets, which is based on the generation...

LBS
 Referenced in 15 articles
[sw12372]
 structures for the specific cases of Petri nets, coloured Petri nets, ODEs and continuoustime...

Petruchio
 Referenced in 15 articles
[sw04394]
 Calculus processes into place/transition Petri nets. Our translation exploits the connections created by restricted names ... stationarity characterises the processes mapped to finite nets. We provide exact conditions for structural stationarity ... processes, called finite handler processes. Our Petri net translation facilitates the automatic verification...

PEP
 Referenced in 14 articles
[sw16547]
 that the PEP system then generates Petri nets from such programs in order ... Petri net theory for simulation and verification purposes. A key feature is flexibility; its modular...

rbminer
 Referenced in 14 articles
[sw00783]
 rbminer: a tool for discovering Petri nets from transition systems The theory of regions ... transformation of an automata into a Petri net. From very restricting initial requirements, the theory...

APNNToolbox
 Referenced in 11 articles
[sw06976]
 common exchange interface, socalled Abstract Petri Net Notation (APNN). The toolbox has a clear ... graphical user interface (APNNed) to specify Petri nets and to control subsequent analysis. Other modeling ... analysis includes tools for checking classical Petri net liveness but also model cheking for computational...

ESP
 Referenced in 16 articles
[sw14787]
 package for the evaluation of stochastic Petri nets with phasetype distributed transition times...

Mnets
 Referenced in 11 articles
[sw09132]
 nets: An algebra of highlevel Petri nets, with an application to the semantics ... This paper describes a highlevel Petri net model called Mnets (for modular multilabelled...

Helena
 Referenced in 11 articles
[sw04384]
 High level Petri nets analysis with Helena. This paper presents the high level Petri nets...

PetriNets
 Referenced in 9 articles
[sw04380]
 Petri Nets Tools Database. Petri nets is a graphical and mathematical modeling tool. Petri nets...

DSPNexpress
 Referenced in 15 articles
[sw07931]
 computer systems with deterministic and stochastic Petri nets (DSPNs).DSPNexpress has a userfriendly graphical...

PROD
 Referenced in 10 articles
[sw03154]
 GreatSPN tool for Generalized stochastic Petri nets (GSPN) and Stochastic wellformed nets (SWN) solution ... GreatSPN format into high level Petri nets that are a valid input to the validation...

SYROCO
 Referenced in 8 articles
[sw04389]
 ObjectOriented Approach and the Petri Net Theory. Each of them has proved ... pragmatic features of both the Petri net and the ObjectOriented approaches by thoroughly integrating ... basic idea is that a Petri net processes data objects as tokens, while the behaviour ... active object is defined by a Petri net. This paper also proposes a CoOperative Object...

Punf
 Referenced in 10 articles
[sw04416]
 PUNF  Petri net unfolder. PUNF builds a finite and complete prefix of a safe Petri...

Augur 2
 Referenced in 13 articles
[sw08403]
 transformation systems by approximating them by Petri nets. The main reason for the new development...

SNAKES
 Referenced in 6 articles
[sw09476]
 Quickly prototyping petri nets tools with SNAKES. This paper presents the toolkit SNAKES that ... problem of quickly prototyping Petri nets tools. In particular, SNAKES is expected to have ... respect to the particular variant of Petri net to be used. The goal ... SNAKES suitable for any kind of Petri net model, including new ones for which there...

MARCIE
 Referenced in 8 articles
[sw12882]
 analysis of generalized stochastic Petri nets which can be augmented by rewards. The supported analysis ... MARCIE’s analysis engines for bounded Petri net models are based on Interval Decision Diagrams...

ExSpect
 Referenced in 11 articles
[sw04390]
 executable specification tool for hierarchical colored Petri nets ExSpect is a software tool for discrete...