Pages that link to "Item:Q3011877"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets (Q3011877):
Displaying 50 items.
- Occurrence Nets Then and Now: The Path to Structured Occurrence Nets (Q3011878) (← links)
- How Might Petri Nets Enhance Your Systems Biology Toolkit (Q3011879) (← links)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
- Forward Analysis and Model Checking for Trace Bounded WSTS (Q3011881) (← links)
- Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning (Q3011882) (← links)
- An Algorithm for Direct Construction of Complete Merged Processes (Q3011883) (← links)
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings (Q3011884) (← links)
- Branching Processes of General Petri Nets (Q3011885) (← links)
- Refinement of Synchronizable Places with Multi-workflow Nets (Q3011886) (← links)
- Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets (Q3011887) (← links)
- Finding a Witness Path for Non-liveness in Free-Choice Nets (Q3011888) (← links)
- A Petri Net Interpretation of Open Reconfigurable Systems (Q3011889) (← links)
- The Mutex Paradigm of Concurrency (Q3011890) (← links)
- On the Origin of Events: Branching Cells as Stubborn Sets (Q3011891) (← links)
- On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet (Q3011894) (← links)
- Synthesis and Analysis of Product-Form Petri Nets (Q3011895) (← links)
- A Tool for Automated Test Code Generation from High-Level Petri Nets (Q3011896) (← links)
- The ePNK: An Extensible Petri Net Tool for PNML (Q3011897) (← links)
- Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag (Q3011898) (← links)
- Faster Unfolding of General Petri Nets Based on Token Flows (Q3510854) (← links)
- Decomposition Theorems for Bounded Persistent Petri Nets (Q3510855) (← links)
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study (Q3510856) (← links)
- Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets (Q3510858) (← links)
- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets (Q3510859) (← links)
- Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets (Q3510862) (← links)
- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks (Q3510864) (← links)
- Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario (Q3510866) (← links)
- Parametric Language Analysis of the Class of Stop-and-Wait Protocols (Q3510867) (← links)
- Hierarchical Set Decision Diagrams and Automatic Saturation (Q3510869) (← links)
- Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds (Q3510870) (← links)
- Modelling Concurrency with Quotient Monoids (Q3510871) (← links)
- Labeled Step Sequences in Petri Nets (Q3510872) (← links)
- MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs (Q3510873) (← links)
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) (Q3510874) (← links)
- Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning (Q3510878) (← links)
- Process Discovery Using Integer Linear Programming (Q3510879) (← links)
- HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets (Q3510881) (← links)
- Instance Deadlock: A Mystery behind Frozen Programs (Q3569858) (← links)
- Petri Nets with Localities and Testing (Q3569859) (← links)
- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future (Q3569860) (← links)
- Can Stubborn Sets Be Optimal? (Q3569861) (← links)
- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition (Q3569862) (← links)
- Canonical Transition Set Semantics for Petri Nets (Q3569863) (← links)
- A Characterization of Combined Traces Using Labeled Stratified Order Structures (Q3569864) (← links)
- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets (Q3569865) (← links)
- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets (Q3569866) (← links)
- Forward Analysis for Petri Nets with Name Creation (Q3569867) (← links)
- Learning Workflow Petri Nets (Q3569868) (← links)
- Process Mining from a Basis of State Regions (Q3569869) (← links)
- Separability in Persistent Petri Nets (Q3569870) (← links)
