The following pages link to Coloured Petri Nets (Q3617245):
Displaying 50 items.
- Individuals, populations and fluid approximations: a Petri net based perspective (Q313335) (← links)
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- The sweep-line state space exploration method (Q418783) (← links)
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Modelling multiagent systems with the help of generalized nets of active resources (Q464873) (← links)
- Symmetries in timed continuous Petri nets (Q547881) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Synthesis of controllers of processes modeled as colored Petri nets (Q1300106) (← links)
- Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens (Q1616270) (← links)
- Modeling message queueing services with reliability guarantee in cloud computing environment using colored Petri nets (Q1665556) (← links)
- Accelerating Petri-net simulations using NVIDIA graphics processing units (Q1681365) (← links)
- Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights (Q1690502) (← links)
- Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities (Q1725071) (← links)
- Composition colored Petri nets for the refinement of reaction-based models (Q1744368) (← links)
- Implementing coloured Petri nets using a functional programming language (Q1768480) (← links)
- Modeling innate immune response to early Mycobacterium infection (Q1929608) (← links)
- Translation validation of coloured Petri net models of programs on integers (Q2089749) (← links)
- Skeleton abstraction for universal temporal properties (Q2117168) (← links)
- Automatic construction of systems of distributed components from nested Petri nets models (Q2216722) (← links)
- An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets (Q2283818) (← links)
- Evaluation of cyber security and modelling of risk propagation with Petri nets (Q2333477) (← links)
- Test purpose oriented I/O conformance test selection with colored Petri nets (Q2336614) (← links)
- Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems (Q2390172) (← links)
- Equivalence checking of Petri net models of programs using static and dynamic cut-points (Q2415374) (← links)
- Verifying UCM specifications of distributed systems using colored Petri nets (Q2515336) (← links)
- Improvements in unfolding of colored Petri nets (Q2695488) (← links)
- Research on the particular subclass of a class coloured Petri nets (Q2804594) (← links)
- Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis (Q2813985) (← links)
- Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets (Q2822661) (← links)
- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching (Q2849449) (← links)
- Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets (Q3011887) (← links)
- A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction (Q3452478) (← links)
- (Q4348471) (← links)
- Stochastic coloured Petri net (SCPN) models of traditional and flexible kanban systems (Q4497041) (← links)
- (Q4517042) (← links)
- (Q4517385) (← links)
- (Q4553276) (← links)
- (Q4733414) (← links)
- Tools and Methods for RTCP-Nets Modeling and Verification (Q4971674) (← links)
- Discovering Object-centric Petri Nets (Q4988950) (← links)
- Skeleton Abstraction for Universal Temporal Properties (Q5044401) (← links)
- Petri Nets over Ontological Graphs: Conception and Application for Modelling Tasks of Robots (Q5082217) (← links)
- A Categorical Semantics for Guarded Petri Nets (Q5100726) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- Interdomain Quality of Service Negotiation Using DEA Analysis and Petri Nets (Q5110866) (← links)
- Open Petri nets (Q5139283) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)
- A compositional framework for reaction networks (Q5370837) (← links)
- Lectures on Concurrency and Petri Nets (Q5712275) (← links)
