Pages that link to "Item:Q3977998"
From MaRDI portal
The following pages link to A axiomatic characterization of a class of Petri nets (Q3977998):
Displaying 8 items.
- An algebraic characterization of independence of Petri net processes (Q1028983) (← links)
- Net operations (Q1337645) (← links)
- Axiomatizing Petri net concatenable processes (Q5055915) (← links)
- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application (Q5166771) (← links)
- (Q5389839) (← links)
- Automata, Languages and Programming (Q5716824) (← links)
- Algebraic characterization of petri net pomset semantics (Q6044132) (← links)
- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus (Q6487391) (← links)