- Referenced in 159 articles
- description program an Interpreted Petri Net representing it and evaluating each formula of the specifications...
- Referenced in 45 articles
- 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...
- Referenced in 60 articles
- 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...
- Referenced in 57 articles
- 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...
- Referenced in 48 articles
- SPNP: Stochastic Petri Nets. The Stochastic Petri Net Package (SPNP)  is a versatile modeling ... tool for solution of Stochastic Petri Net (SPN) models. The SPN models are described...
- Referenced in 41 articles
- 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...
- Referenced in 40 articles
- 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...
- Referenced in 26 articles
- 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...
- Referenced in 36 articles
- 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...
- Referenced in 26 articles
- 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...
- Referenced in 42 articles
- Markov reward models as well stochastic Petri nets. Steady-state, transient and interval measures...
- Referenced in 27 articles
- 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...
- Referenced in 37 articles
- verification of cryptographic protocols using coloured Petri nets and Design/CPN...
- Referenced in 18 articles
- 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...
- Referenced in 33 articles
- animate hierarchical graphs, among others Petri nets. The tool has been developed - and is still...
- Referenced in 29 articles
- modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing times. TimeNET...
- Referenced in 28 articles
- 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...
- Referenced in 15 articles
- Analysis of Petri nets and labeled transition systems. Welcome to APT. The purpose of this ... various analysis methods on Petri nets and labeled transition systems. This guide explains the most ... Eike Best, Uli Schlachter: Analysis of Petri Nets and Transition Systems ... Synthesis: Uli Schlachter: Petri Net Synthesis for Restricted Classes of Nets. In Petri Nets...
- Referenced in 17 articles
- simulator and verifier of timed-arc Petri nets. TAPAAL is a new platform independent tool ... simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor ... verification module translates timed-arc Petri net models into networks of timed automata and uses...
- Referenced in 19 articles
- 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...