Pages that link to "Item:Q3550609"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2003 (Q3550609):
Displayed 16 items.
- The Resource Allocation Problem in Flexible Manufacturing Systems (Q3550610) (← links)
- Deciding Life-Cycle Inheritance on Petri Nets (Q3550611) (← links)
- Nets Enriched over Closed Monoidal Structures (Q3550613) (← links)
- Automatic Symmetry Detection in Well-Formed Nets (Q3550614) (← links)
- Modular System Development with Pullbacks (Q3550615) (← links)
- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers (Q3550616) (← links)
- Model Checking Safety Properties in Modular High-Level Nets (Q3550617) (← links)
- On Reachability in Autonomous Continuous Petri Net Systems (Q3550618) (← links)
- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems (Q3550619) (← links)
- Logical Reasoning and Petri Nets (Q3550620) (← links)
- Reactive Petri Nets for Workflow Modeling (Q3550621) (← links)
- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets (Q3550622) (← links)
- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (Q3550623) (← links)
- On Synchronicity and Concurrency in Petri Nets (Q3550624) (← links)
- Hierarchical Timed High Level Nets and Their Branching Processes (Q3550625) (← links)
- A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets (Q3550628) (← links)