• Maria

  • Referenced in 19 articles [sw04127]
  • Maria: Modular reachability analyser for algebraic system nets Maria performs simulation, exhaustive reachability analysis ... model checking of high-level Petri nets with fairness constraints. The algebra contains powerful built ... exported to low-level 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 15 articles [sw13755]
  • verification of systems using place/transition Petri nets (p/t-nets). It implements the research done ... Information systems by evaluating partially-ordered 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 continuous-time...
  • 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...
  • APNN-Toolbox

  • Referenced in 11 articles [sw06976]
  • common exchange interface, so-called 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 phase-type distributed transition times...
  • M-nets

  • Referenced in 11 articles [sw09132]
  • nets: An algebra of high-level Petri nets, with an application to the semantics ... This paper describes a high-level Petri net model called M-nets (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 user-friendly graphical...
  • PROD

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

  • Referenced in 8 articles [sw04389]
  • Object-Oriented Approach and the Petri Net Theory. Each of them has proved ... pragmatic features of both the Petri net and the Object-Oriented 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...