Pages that link to "Item:Q396979"
From MaRDI portal
The following pages link to Modular construction and partial order semantics of Petri nets (Q396979):
Displaying 4 items.
- Truly concurrent constraint programming (Q6104382) (← links)
- Synthesis and Analysis of Petri Nets from Causal Specifications (Q6487344) (← links)
- A Myhill-Nerode theorem for higher-dimensional automata (Q6535191) (← links)
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets (Q6535197) (← links)