Pages that link to "Item:Q5712286"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712286):
Displayed 3 items.
- The sweep-line state space exploration method (Q418783) (← links)
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN (Q983197) (← links)
- Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets (Q3510862) (← links)