Pages that link to "Item:Q5712286"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712286):
Displaying 4 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)
- Implementing coloured Petri nets using a functional programming language (Q1768480) (← links)
- Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets (Q3510862) (← links)