Design/CPN

swMATH1952MaRDI QIDQ14500FDOQ14500

Author name not available (Why is that?)

Cited In (32)

• 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
• Title not available (Why is that?)
• Decision-Making Modeling and Evaluation of E-Trust in B2C E-Commerce with Using Colored Petri Nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
• Applications and Theory of Petri Nets 2004
• Petri nets and IDEF diagrams: Applicability and efficacy for business process modelling
• The sweep-line state space exploration method
• Effective scheduling of local interactive processes and parallel processes in a non-dedicated cluster environment
• Title not available (Why is that?)
• Advances in verification of time Petri nets and timed automata. A temporal logic approach.
• Automated Technology for Verification and Analysis
• Thread allocation in CMP-based multithreaded network processors
• 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?)
• Rule-based refinement of Petri nets: A survey
• Title not available (Why is that?)
• Acyclic and cyclic reversing computations in Petri nets
• Petri net modelling of biological regulatory networks
• The consistent use of names and polymorphism in the definition of object Petri nets
• Modelling and analysis of distributed program execution in BETA using coloured Petri nets
• Lectures on Concurrency and Petri Nets
• An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets
• Title not available (Why is that?)
• The practitioner's guide to coloured Petri nets.
• Petri nets for modelling metabolic pathways: a survey
• Rule-based refinement of high-level nets preserving safety properties
• Automated Petri-net modelling based on production management data

This page was built for software: Design/CPN