The following pages link to CPN/Tools (Q14001):
Displaying 24 items.
- The sweep-line state space exploration method (Q418783) (← links)
- Modeling and quantitatively predicting software security based on stochastic Petri nets (Q445374) (← links)
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets (Q840067) (← links)
- Deriving protocol specifications from service specifications written as Predicate/Transition-nets (Q856741) (← links)
- Petri net modelling of biological regulatory networks (Q935833) (← links)
- Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens (Q1616270) (← links)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets (Q2096425) (← links)
- An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets (Q2283818) (← links)
- Advances in verification of time Petri nets and timed automata. A temporal logic approach. (Q2493434) (← links)
- Verifying UCM specifications of distributed systems using colored Petri nets (Q2515336) (← links)
- Formal Dependability Modeling and Analysis: A Survey (Q2817299) (← links)
- SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) (Q2941154) (← links)
- PeCAn: Compositional Verification of Petri Nets Made Easy (Q3457799) (← links)
- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future (Q3569860) (← links)
- Automated Petri-net modelling based on production management data (Q3595305) (← links)
- (Q4450987) (← links)
- (Q4535173) (← links)
- Decision-Making Modeling and Evaluation of E-Trust in B2C E-Commerce with Using Colored Petri Nets (Q5095381) (← links)
- Lectures on Concurrency and Petri Nets (Q5712275) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712359) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713506) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713518) (← links)
- Acyclic and Cyclic Reversing Computations in Petri Nets (Q5862345) (← links)
