CPN/Tools
From MaRDI portal
Software:14001
No author found.
Related Items (24)
Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens ⋮ Modeling and verification of the SDL-specified communication protocols using high-level Petri nets ⋮ PeCAn: Compositional Verification of Petri Nets Made Easy ⋮ Deriving protocol specifications from service specifications written as Predicate/Transition-nets ⋮ SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) ⋮ Unnamed Item ⋮ Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions ⋮ The sweep-line state space exploration method ⋮ Modeling and quantitatively predicting software security based on stochastic Petri nets ⋮ Petri net modelling of biological regulatory networks ⋮ Lectures on Concurrency and Petri Nets ⋮ Applications and Theory of Petri Nets 2004 ⋮ Applications and Theory of Petri Nets 2005 ⋮ Applications and Theory of Petri Nets 2005 ⋮ Decision-Making Modeling and Evaluation of E-Trust in B2C E-Commerce with Using Colored Petri Nets ⋮ A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future ⋮ Unnamed Item ⋮ Advances in verification of time Petri nets and timed automata. A temporal logic approach. ⋮ Automated Petri-net modelling based on production management data ⋮ An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets ⋮ Verifying UCM specifications of distributed systems using colored Petri nets ⋮ Formal Dependability Modeling and Analysis: A Survey ⋮ Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets ⋮ Acyclic and Cyclic Reversing Computations in Petri Nets
This page was built for software: CPN/Tools
