• CESAR

  • Referenced in 111 articles [sw08510]
  • description program an Interpreted Petri Net representing it and evaluating each formula of the specifications...
  • GreatSPN

  • Referenced in 51 articles [sw00384]
  • distributed systems using Generalized Stochastic Petri Nets and their colored extension: Stochastic Well-formed Nets ... friendly framework to experiment with timed Petri net based modeling techniques. It implements efficient analysis...
  • YAWL

  • Referenced in 50 articles [sw04388]
  • language / workflow management system based on Petri nets and a rigorous analysis of existing workflow ... Unlike traditional systems and (high-level) Petri nets it provides direct support for most...
  • TINA

  • Referenced in 32 articles [sw03280]
  • construction of abstract state spaces for Petri nets and time Petri nets. In addition ... representations for the behaviour of Petri nets or Time Petri nets. Various techniques are used ... properties of their state spaces. For Petri nets, these abstractions help prevent combinatorial explosion, relying ... steps and/or persistent sets. For Time Petri nets, which have, in general, infinite state spaces...
  • SPNP

  • Referenced in 37 articles [sw07933]
  • SPNP: Stochastic Petri Nets. The Stochastic Petri Net Package (SPNP) [2] is a versatile modeling ... tool for solution of Stochastic Petri Net (SPN) models. The SPN models are described...
  • GreatSPN 1.7

  • Referenced in 36 articles [sw01562]
  • analyzer for timed and stochastic Petri nets. This paper describes the GreatSPN 1.7 package ... distributed systems using Generalized Stochastic Petri Nets and their colored extension. The tool provides ... friendly framework to experiment with timed Petri net based modeling techniques. It implements efficient analysis...
  • PNML

  • Referenced in 33 articles [sw03257]
  • extendable reference implementation of the Petri net markup language. The International Standard on Petri nets ... standard. It provides developers of Petri net tools with a convenient and fast...
  • Woflan

  • Referenced in 32 articles [sw07028]
  • Woflan: A Petri-net-based workflow analyzer. Workflow management technology promises a flexible solution ... unique features. State-of-the-art Petri-net-based analysis techniques are deployed to verify...
  • Petrify

  • Referenced in 21 articles [sw09784]
  • tool for synthesis of Petri nets and asynchronous controllers. Petrify reads a Petri ... generates another bisimilar Petri net which is simpler than the original description. Initially, petrify performs ... token flow analysis of the initial Petri net and produces a transition system ... conditions required to obtain a Petri net. Petrify is able to obtain Petri nets with...
  • SHARPE

  • Referenced in 35 articles [sw03100]
  • Markov reward models as well stochastic Petri nets. Steady-state, transient and interval measures...
  • Romeo

  • Referenced in 21 articles [sw00812]
  • Romeo: A tool for analyzing time Petri nets. In this paper, we present the features ... Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation ... deals with an extension of Time Petri Nets (Scheduling-TPNs) for which the valuations...
  • Design/CPN

  • Referenced in 33 articles [sw01952]
  • verification of cryptographic protocols using coloured Petri nets and Design/CPN...
  • CPN/Tools

  • Referenced in 23 articles [sw01261]
  • tool for editing and simulating coloured Petri nets. ETAPS tool demonstration related to TACAS CPN/Tools ... state space analysis of Coloured Petri Nets. The new interface is based on advanced interaction...
  • BPEL2PN

  • Referenced in 15 articles [sw06954]
  • Language for Web Services into a Petri net according to the Petri net semantics ... output format of BPEL2PN is a Petri net in the data format of the Petri ... into the standard interchange format for Petri nets, the Petri Net Markup Language...
  • BPEL2oWFN

  • Referenced in 24 articles [sw06956]
  • Execution Language) into an oWFN (open Workflow Net). This oWFN can be used to: check ... check for deadlocks or any other Petri net property, or check any temporal logic formula...
  • Maria

  • Referenced in 17 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 16 articles [sw04387]
  • limited to, reference nets. Petri nets are a well established means to describe concurrent systems...
  • TimeNET

  • Referenced in 21 articles [sw00965]
  • modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing times. TimeNET...
  • SNOOPY

  • Referenced in 21 articles [sw04386]
  • animate hierarchical graphs, among others Petri nets. The tool has been developed - and is still...
  • LBS

  • Referenced in 11 articles [sw12372]
  • structures for the specific cases of Petri nets, coloured Petri nets, ODEs and continuous-time...