Pages that link to "Item:Q3618698"
From MaRDI portal
The following pages link to Petri Nets and Other Models of Concurrency - ICATPN 2006 (Q3618698):
Displaying 14 items.
- Compensation in Workflow Nets (Q3618699) (← links)
- The Synthesis Problem of Netcharts (Q3618700) (← links)
- Non-sequential Behaviour of Dynamic Nets (Q3618701) (← links)
- Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets (Q3618702) (← links)
- On the Computation of Stubborn Sets of Colored Petri Nets (Q3618703) (← links)
- On the Construction of Pullbacks for Safe Petri Nets (Q3618704) (← links)
- From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis (Q3618705) (← links)
- How Expressive Are Petri Net Schemata? (Q3618706) (← links)
- A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets (Q3618707) (← links)
- Nested Nets for Adaptive Systems (Q3618708) (← links)
- Infinite Process Semantics of Inhibitor Nets (Q3618709) (← links)
- Towards Synthesis of Petri Nets from Scenarios (Q3618710) (← links)
- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions (Q3618711) (← links)
- On the Step Explosion Problem (Q3618713) (← links)
