• Woflan

  • Referenced in 36 articles [sw07028]
  • unique features. State-of-the-art Petri-net-based analysis techniques are deployed to verify ... correctness of a workflow process. The functionality of Woflan starts where other workflow tools give...
  • MoVisPP

  • Referenced in 3 articles [sw35665]
  • networks. During the last 15 years, Petri nets have attracted more and more attention ... papers, it seems clear that hybrid functional Petri nets are the adequate method to model...
  • Charlie

  • Referenced in 4 articles [sw12881]
  • Java tool for analysing Petri nets. Its built-in functionalities apply standard analysis techniques ... structural and behavioural properties of place/transition Petri nets, complemented by explicit CTL and LTL model ... functionality as it has been demonstrated for, e.g., structural reduction and time-dependent Petri nets...
  • APNN-Toolbox

  • Referenced in 11 articles [sw06976]
  • graphical user interface (APNNed) to specify Petri nets and to control subsequent analysis. Other modeling ... Dortmund university. Functional analysis includes tools for checking classical Petri net liveness but also model...
  • Petruchio

  • Referenced in 16 articles [sw04394]
  • Calculus processes into place/transition Petri nets. Our translation exploits the connections created by restricted names ... yield finite nets even for processes with unbounded name and unbounded process creation. The property ... finite nets. We provide exact conditions for structural stationarity using novel characteristic functions. As application ... processes, called finite handler processes. Our Petri net translation facilitates the automatic verification...
  • CPN/Tools

  • Referenced in 28 articles [sw01261]
  • state space analysis of Coloured Petri Nets. The new interface is based on advanced interaction ... selection, while providing the same or greater functionality. CPN/Tools requires an OpenGL graphics accelerator...
  • VipTool

  • Referenced in 16 articles [sw13755]
  • concept for business processes given by Petri nets, which is based on the generation ... partially ordered runs of p/t-nets. Namely, functionalities for synthesis, unfolding (combined with respective validation...
  • Augur 2

  • Referenced in 13 articles [sw08403]
  • transformation systems by approximating them by Petri nets. The main reason for the new development ... previous version, Augur 2 will include more functionality and new analysis techniques...
  • DPPN

  • Referenced in 6 articles [sw03466]
  • player games using decision process Petri nets. We prove that the concept of Lyapunov equilibrium ... definition of the Lypunov-like function. To the best of our knowledge the approach ... application area in Petri Net theory...
  • PIPE2

  • Referenced in 5 articles [sw22707]
  • Stochastic Petri Net (GSPN) models. PIPE2 ’s extensible design enables developers to add functionality...
  • PNTooL

  • Referenced in 2 articles [sw13754]
  • prototyping of new Petri net classes [2, 3]. Its basic functionalities were developed...
  • ISTA

  • Referenced in 1 article [sw09770]
  • coverage criteria of Petri nets. ISTA is useful not only for function testing but also ... security testing by using Petri nets as threat models. It has been applied to several...
  • ePNK

  • Referenced in 3 articles [sw04378]
  • main idea is to provide generic Petri net types, which can be easily plugged into ... graphically editing nets of any plugged in type. Additional functionality can be plugged...
  • CPN-AMI

  • Referenced in 1 article [sw19149]
  • Petri net based CASE environment. It offers functions such as modelling facilities, simulation, model checking ... groups together many tools suitable for Petri net modelling and verification. Some tools have been...
  • MARCIE

  • Referenced in 8 articles [sw12882]
  • MARCIE’s analysis engines for bounded Petri net models are based on Interval Decision Diagrams ... paper gives an overview on MARCIE’s functionality and architecture and reports on the recently...
  • HYPENS

  • Referenced in 4 articles [sw00422]
  • simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab ... user to take advantage of several functions and structures already defined in Matlab, such...
  • Workcraft

  • Referenced in 6 articles [sw01021]
  • process by separating the circuit structure and functionality from the lower-level implementation details.\parAside ... done by converting it to a Petri Net preserving behavioural equivalence. Once the equivalent Petri...
  • CoMeta

  • Referenced in 2 articles [sw25789]
  • functional aspects of the pathways. The latter are captured by relying on a Petri net...
  • Statebox

  • Referenced in 1 article [sw40899]
  • functional programming approach which utilizes, amongst other things, category theory, Petri nets and cryptography...
  • ADAM

  • Referenced in 8 articles [sw21957]
  • probabilistic Boolean networks, logical models, Petri nets, and agent-based models, to gain a better ... models, but they either lack the algorithmic functionality to analyze complex models deterministically or they...