The following pages link to (Q4348471):
Displaying 40 items.
- Modelling and verification of weighted spiking neural systems (Q264538) (← links)
- Concurrent abstract state machines (Q303691) (← links)
- Coloured Petri net scheduling models: Timed state space exploration shortages (Q426116) (← links)
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Verification of membrane systems with delays via Petri nets with delays (Q496035) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- Encoding the dynamics of deterministic systems (Q634779) (← links)
- Qualitative simulation of temporal concurrent processes using time interval Petri nets (Q814432) (← links)
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets (Q840067) (← links)
- FMS scheduling based on timed Petri net model and reactive graph search (Q937986) (← links)
- Analysis of multi-agent activity using Petri nets (Q962724) (← links)
- Model transformation and formal verification for semantic web services composition (Q982939) (← links)
- Exploiting colored Petri nets to decide on permutation admissibility (Q1006895) (← links)
- Operational and denotational semantics for the box algebra (Q1274445) (← links)
- Restrictions and representations of vector controlled concurrent system behaviours (Q1391736) (← links)
- A symbolic reachability graph for coloured Petri nets (Q1392273) (← links)
- Switched LAN simulation by colored Petri nets (Q1826577) (← links)
- The practitioner's guide to coloured Petri nets. (Q1865844) (← links)
- Analyzing the execution architecture of mobile phone software with colored Petri nets. (Q1865847) (← links)
- A structural approach to graph transformation based on symmetric Petri nets (Q2035652) (← links)
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102) (← links)
- Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins (Q2119954) (← links)
- Paradigm of computations on the Petri nets (Q2261779) (← links)
- Equivalence checking of Petri net models of programs using static and dynamic cut-points (Q2415374) (← links)
- Recursive Petri nets (Q2464034) (← links)
- Analyzing permutation capability of multistage interconnection networks with colored Petri nets (Q2509234) (← links)
- Novel conflict resolution model for multi-UAV based on CPN and 4D trajectories (Q2821227) (← links)
- On the expressiveness of mobile synchronizing Petri nets (Q2864393) (← links)
- Coding mobile synchronizing Petri nets into rewriting logic (Q2864520) (← links)
- Minimal cut sets of a coherent fault tree generation using reverse Petri nets (Q2868919) (← links)
- Signal transduction pathways as concurrent reactive systems: a modeling and simulation approach using LSCs and the Play-Engine (Q2870306) (← links)
- Component-Based Security Policy Design with Colored Petri Nets (Q3184744) (← links)
- Parametric Language Analysis of the Class of Stop-and-Wait Protocols (Q3510867) (← links)
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets (Q3612361) (← links)
- Formalizing Collaboration Goal Sequences for Service Choreography (Q3613073) (← links)
- PN Standardisation: A Survey (Q3613078) (← links)
- Lectures on Concurrency and Petri Nets (Q5712275) (← links)
- Lectures on Concurrency and Petri Nets (Q5712286) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712344) (← links)
