The following pages link to Design/CPN (Q14500):
Displaying 32 items.
- The sweep-line state space exploration method (Q418783) (← links)
- Modeling and quantitatively predicting software security based on stochastic Petri nets (Q445374) (← links)
- Effective scheduling of local interactive processes and parallel processes in a non-dedicated cluster environment (Q557648) (← links)
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets (Q840067) (← links)
- Petri net modelling of biological regulatory networks (Q935833) (← links)
- Thread allocation in CMP-based multithreaded network processors (Q991084) (← links)
- The practitioner's guide to coloured Petri nets. (Q1865844) (← links)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets (Q2096425) (← links)
- An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets (Q2283818) (← links)
- Advances in verification of time Petri nets and timed automata. A temporal logic approach. (Q2493434) (← links)
- (Q2758815) (← links)
- (Q2761718) (← links)
- (Q2766572) (← links)
- (Q2769607) (← links)
- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future (Q3569860) (← links)
- Automated Petri-net modelling based on production management data (Q3595305) (← links)
- (Q4485150) (← links)
- (Q4519781) (← links)
- Modelling and analysis of distributed program execution in BETA using coloured Petri Nets (Q4633166) (← links)
- The consistent use of names and polymorphism in the definition of Object Petri Nets (Q4633175) (← links)
- (Q4762657) (← links)
- (Q4808851) (← links)
- Decision-Making Modeling and Evaluation of E-Trust in B2C E-Commerce with Using Colored Petri Nets (Q5095381) (← links)
- Rule-Based Refinement of Petri Nets: A Survey (Q5392161) (← links)
- Automated Technology for Verification and Analysis (Q5491863) (← links)
- Lectures on Concurrency and Petri Nets (Q5712281) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712359) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713506) (← links)
- Acyclic and Cyclic Reversing Computations in Petri Nets (Q5862345) (← links)
- Rule-based refinement of high-level nets preserving safety properties (Q5931382) (← links)
