Pages that link to "Item:Q2501338"
From MaRDI portal
The following pages link to Compositional analysis of Petri nets (Q2501338):
Displaying 17 items.
- On a homomorphism of a component Petri net (Q466005) (← links)
- Analysis of Petri nets by partitioning: Splitting transitions (Q751853) (← links)
- Dynamical quantities in net systems (Q1402463) (← links)
- Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918) (← links)
- The ins and outs of Petri net composition (Q2165242) (← links)
- Universal Petri net (Q2263192) (← links)
- Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism (Q2263225) (← links)
- Sequential composition of linear systems' clans (Q2279738) (← links)
- Decomposition of Petri nets (Q2574246) (← links)
- Union decomposition of Petri net (Q2726020) (← links)
- On acceleration of calculations of estimation of structural invariants for \(CN_I\)-network component analysis (Q2850229) (← links)
- Analysis of structural properties of Petri nets based on product incidence matrix (Q2857723) (← links)
- (Q3431091) (← links)
- (Q3805918) (← links)
- (Q4270058) (← links)
- On Compositionality of Boundedness and Liveness for Nested Petri Nets (Q4902320) (← links)
- (Q5013817) (← links)