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
• Formal dependability modeling and analysis: a survey
• The sweep-line state space exploration method
• Title not available (Why is that?)
• Advances in verification of time Petri nets and timed automata. A temporal logic approach.
• Deriving protocol specifications from service specifications written as Predicate/Transition-nets
• Lectures on Concurrency and Petri Nets
• Applications and Theory of Petri Nets 2005
• A perspective on explicit state space exploration of coloured Petri nets: past, present, and future
• Modeling and quantitatively predicting software security based on stochastic Petri nets
• Title not available (Why is that?)
• Acyclic and cyclic reversing computations in Petri nets
• 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
• SNAKES: a flexible high-level Petri nets library (tool paper)
• Automated Petri-net modelling based on production management data
• PeCAn: compositional verification of Petri nets made easy

This page was built for software: CPN/Tools