Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 19 results in range #51 to #69.
- Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag: Label: en
- The ePNK: An Extensible Petri Net Tool for PNML: Label: en
- A Tool for Automated Test Code Generation from High-Level Petri Nets: Label: en
- Synthesis and Analysis of Product-Form Petri Nets: Label: en
- On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet: Label: en
- On the Origin of Events: Branching Cells as Stubborn Sets: Label: en
- The Mutex Paradigm of Concurrency: Label: en
- A Petri Net Interpretation of Open Reconfigurable Systems: Label: en
- Finding a Witness Path for Non-liveness in Free-Choice Nets: Label: en
- Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets: Label: en
- Refinement of Synchronizable Places with Multi-workflow Nets: Label: en
- Branching Processes of General Petri Nets: Label: en
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings: Label: en
- An Algorithm for Direct Construction of Complete Merged Processes: Label: en
- Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning: Label: en
- Forward Analysis and Model Checking for Trace Bounded WSTS: Label: en
- State Estimation and Fault Detection Using Petri Nets: Label: en
- How Might Petri Nets Enhance Your Systems Biology Toolkit: Label: en
- Occurrence Nets Then and Now: The Path to Structured Occurrence Nets: Label: en
