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 16 results in range #1 to #16.
- A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets: Label: en
- Hierarchical Timed High Level Nets and Their Branching Processes: Label: en
- On Synchronicity and Concurrency in Petri Nets: Label: en
- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach: Label: en
- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets: Label: en
- Reactive Petri Nets for Workflow Modeling: Label: en
- Logical Reasoning and Petri Nets: Label: en
- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems: Label: en
- On Reachability in Autonomous Continuous Petri Net Systems: Label: en
- Model Checking Safety Properties in Modular High-Level Nets: Label: en
- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers: Label: en
- Modular System Development with Pullbacks: Label: en
- Automatic Symmetry Detection in Well-Formed Nets: Label: en
- Nets Enriched over Closed Monoidal Structures: Label: en
- Deciding Life-Cycle Inheritance on Petri Nets: Label: en
- The Resource Allocation Problem in Flexible Manufacturing Systems: Label: en