Pages that link to "Item:Q6044132"
From MaRDI portal
The following pages link to Algebraic characterization of petri net pomset semantics (Q6044132):
Displaying 6 items.
- An algebraic characterization of independence of Petri net processes (Q1028983) (← links)
- A uniform approach to true-concurrency and interleaving semantics for Petri nets (Q1274975) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- Pomset Languages of Finite Step Transition Systems (Q3636841) (← links)
- A axiomatic characterization of a class of Petri nets (Q3977998) (← links)
- A compositional partial order semantics for Petri net components (Q6487378) (← links)