CPN/Tools

swMATH1261MaRDI QIDQ14001FDOQ14001

Author name not available (Why is that?)

Cited In (24)

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

This page was built for software: CPN/Tools