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 14 results in range #1 to #14.
- On the Construction of Pullbacks for Safe Petri Nets: Label: en
- On the Computation of Stubborn Sets of Colored Petri Nets: Label: en
- Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets: Label: en
- Non-sequential Behaviour of Dynamic Nets: Label: en
- The Synthesis Problem of Netcharts: Label: en
- Compensation in Workflow Nets: Label: en
- On the Step Explosion Problem: Label: en
- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions: Label: en
- Towards Synthesis of Petri Nets from Scenarios: Label: en
- Infinite Process Semantics of Inhibitor Nets: Label: en
- Nested Nets for Adaptive Systems: Label: en
- A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets: Label: en
- How Expressive Are Petri Net Schemata?: Label: en
- From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis: Label: en
