Design/CPN
From MaRDI portal
Software:14500
No author found.
Related Items (32)
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets ⋮ Unnamed Item ⋮ Petri nets for modelling metabolic pathways: a survey ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions ⋮ The sweep-line state space exploration method ⋮ Unnamed Item ⋮ Modeling and quantitatively predicting software security based on stochastic Petri nets ⋮ Unnamed Item ⋮ Rule-Based Refinement of Petri Nets: A Survey ⋮ Modelling and analysis of distributed program execution in BETA using coloured Petri Nets ⋮ The consistent use of names and polymorphism in the definition of Object Petri Nets ⋮ Petri net modelling of biological regulatory networks ⋮ Lectures on Concurrency and Petri Nets ⋮ Applications and Theory of Petri Nets 2004 ⋮ Unnamed Item ⋮ 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 ⋮ Rule-based refinement of high-level nets preserving safety properties ⋮ Automated Technology for Verification and Analysis ⋮ Effective scheduling of local interactive processes and parallel processes in a non-dedicated cluster environment ⋮ Advances in verification of time Petri nets and timed automata. A temporal logic approach. ⋮ Automated Petri-net modelling based on production management data ⋮ Thread allocation in CMP-based multithreaded network processors ⋮ An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets ⋮ Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets ⋮ Acyclic and Cyclic Reversing Computations in Petri Nets ⋮ The practitioner's guide to coloured Petri nets.
This page was built for software: Design/CPN
