Pages that link to "Item:Q3184668"
From MaRDI portal
The following pages link to Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668):
Displaying 5 items.
- Extensional Petri net (Q667521) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- (Q4216507) (← links)
- Channel Properties of Asynchronously Composed Petri Nets (Q5300882) (← links)
- Concurrency cannot be observed, asynchronously (Q5740646) (← links)