Pages that link to "Item:Q5055915"
From MaRDI portal
The following pages link to Axiomatizing Petri net concatenable processes (Q5055915):
Displaying 7 items.
- An axiomatization of the algebra of Petri net concatenable processes (Q672052) (← links)
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- Merged processes: a new condensed representation of Petri net behaviour (Q854679) (← links)
- Axiomatizing the algebra of net computations and processes (Q1901718) (← links)
- (Q4296304) (← links)
- (Q4364400) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897493) (← links)