The following pages link to (Q4421723):
Displaying 12 items.
- Petri nets and algebraic specifications (Q804305) (← links)
- Petri net algebra (Q1573598) (← links)
- Partial array token Petri net and \(P\) system (Q2055836) (← links)
- Factorisation of Petri net solvable transition systems (Q2280180) (← links)
- Partial-order process algebra (and its relation to Petri nets) (Q2760250) (← links)
- (Q2766559) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- (Q3129285) (← links)
- PATH DECOMPOSITION AND SEMILINEARITY OF PETRI NETS (Q3395130) (← links)
- Partial Order Semantics of Types of Nets (Q3599087) (← links)
- Petri Automata for Kleene Allegories (Q4635792) (← links)
- Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra (Q4923515) (← links)