The following pages link to Modular Analysis of Petri Nets (Q4509344):
Displaying 21 items.
- Proving nonreachability by modulo-invariants (Q672866) (← links)
- Analysis of Petri nets by partitioning: Splitting transitions (Q751853) (← links)
- Failures semantics and deadlocking of modular Petri nets (Q1101233) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- Extensible structural analysis of Petri net product lines (Q2032833) (← links)
- Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism (Q2263225) (← links)
- Compositional analysis of Petri nets (Q2501338) (← links)
- Petri net reactive modules (Q2503287) (← links)
- Generalizing the compositions of Petri nets modules (Q2805421) (← links)
- Local verification using a distributed state space (Q2843812) (← links)
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets (Q3612361) (← links)
- Simple Composition of Nets (Q3636838) (← links)
- Towards a Standard for Modular Petri Nets: A Formalisation (Q3636839) (← links)
- (Q3805918) (← links)
- Tutorial and Survey Articles: An introduction to Petri Nets (Q4458384) (← links)
- Reachability analysis based on structured representations (Q4633167) (← links)
- A class of composable high level Petri nets (Q5096360) (← links)
- A control method for distributed continuous mono-T-semiflow Petri nets (Q5265671) (← links)
- Verification: Theory and Practice (Q5305662) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712335) (← links)
- Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines (Q6116186) (← links)
