The following pages link to Decomposition of Petri nets (Q2574246):
Displaying 16 items.
- On a homomorphism of a component Petri net (Q466005) (← links)
- Analysis of Petri nets by partitioning: Splitting transitions (Q751853) (← links)
- Construction of well-formed Petri nets from standard subnets (Q1320844) (← links)
- Factorisation of transition systems (Q1647774) (← links)
- Distributed synthesis of asynchronously communicating distributed process models (Q2163771) (← links)
- Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism (Q2263225) (← links)
- Factorisation of Petri net solvable transition systems (Q2280180) (← links)
- Compositional analysis of Petri nets (Q2501338) (← links)
- Union decomposition of Petri net (Q2726020) (← links)
- Deciding Selective Declassification of Petri Nets (Q2894328) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- COMPLEXITY OF BIO-COMPUTATION: SYMBOLIC DYNAMICS IN MEMBRANE SYSTEMS (Q3379518) (← links)
- PATH DECOMPOSITION AND SEMILINEARITY OF PETRI NETS (Q3395130) (← links)
- Separability in Conflict-Free Petri Nets (Q3401931) (← links)
- A hierarchical decomposition of decision process Petri nets for modeling complex systems (Q3587065) (← links)
- Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture (Q4362279) (← links)