scientific article; zbMATH DE number 1049168
From MaRDI portal
Publication:4348471
Recommendations
- scientific article; zbMATH DE number 107927
- scientific article; zbMATH DE number 877807
- scientific article; zbMATH DE number 750184
- The practitioner's guide to coloured Petri nets.
- Coloured Petri Nets
- scientific article; zbMATH DE number 4028914
- Colored Petri nets and the matrix approach
- A case study on coloured Petri nets in object-oriented analysis and design
- Colored decision process Petri nets modeling analysis and stability
Cited in
(56)- Exploiting colored Petri nets to decide on permutation admissibility
- Operational and denotational semantics for the box algebra
- Restrictions and representations of vector controlled concurrent system behaviours
- A symbolic reachability graph for coloured Petri nets
- Switched LAN simulation by colored Petri nets
- The practitioner's guide to coloured Petri nets.
- Analyzing the execution architecture of mobile phone software with colored Petri nets.
- A structural approach to graph transformation based on symmetric Petri nets
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets
- Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins
- Paradigm of computations on the Petri nets
- Equivalence checking of Petri net models of programs using static and dynamic cut-points
- Recursive Petri nets
- Analyzing permutation capability of multistage interconnection networks with colored Petri nets
- Modelling and verification of weighted spiking neural systems
- scientific article; zbMATH DE number 1696464 (Why is no real title available?)
- scientific article; zbMATH DE number 1696470 (Why is no real title available?)
- Novel conflict resolution model for multi-UAV based on CPN and 4D trajectories
- On the expressiveness of mobile synchronizing Petri nets
- Coding mobile synchronizing Petri nets into rewriting logic
- Minimal cut sets of a coherent fault tree generation using reverse Petri nets
- Signal transduction pathways as concurrent reactive systems: a modeling and simulation approach using LSCs and the Play-Engine
- Concurrent abstract state machines
- scientific article; zbMATH DE number 2088668 (Why is no real title available?)
- Component-Based Security Policy Design with Colored Petri Nets
- scientific article; zbMATH DE number 3858426 (Why is no real title available?)
- Parametric Language Analysis of the Class of Stop-and-Wait Protocols
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
- Formalizing Collaboration Goal Sequences for Service Choreography
- PN Standardisation: A Survey
- scientific article; zbMATH DE number 4028914 (Why is no real title available?)
- scientific article; zbMATH DE number 50851 (Why is no real title available?)
- scientific article; zbMATH DE number 107927 (Why is no real title available?)
- Coloured Petri net scheduling models: Timed state space exploration shortages
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
- scientific article; zbMATH DE number 2080954 (Why is no real title available?)
- Modelling and analysis of distributed program execution in BETA using coloured Petri nets
- scientific article; zbMATH DE number 4001495 (Why is no real title available?)
- scientific article; zbMATH DE number 750184 (Why is no real title available?)
- Applications of coloured Petri nets for functional validation of protocol designs
- Verification of membrane systems with delays via Petri nets with delays
- Net-based analysis of event processing networks -- the fast flower delivery case
- Soundness of workflow nets: classification, decidability, and analysis
- Industrial Petri nets
- Lectures on Concurrency and Petri Nets
- Lectures on Concurrency and Petri Nets
- Applications and Theory of Petri Nets 2004
- Petri nets for modelling metabolic pathways: a survey
- Encoding the dynamics of deterministic systems
- Petri nets in epidemiology
- From Petri nets to virus machines
- Qualitative simulation of temporal concurrent processes using time interval Petri nets
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
- FMS scheduling based on timed Petri net model and reactive graph search
- Analysis of multi-agent activity using Petri nets
- Model transformation and formal verification for semantic web services composition
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4348471)
