The following pages link to (Q4791852):
Displayed 7 items.
- Extensional Petri net (Q667521) (← links)
- Distributed synthesis of asynchronously communicating distributed process models (Q2163771) (← links)
- Operational semantics for Petri net components (Q2373704) (← links)
- GETGRATS (Q4923529) (← links)
- Towards a Formal Framework for Inter-Enterprise Application Integration (Q4923536) (← links)
- A Programming Language for Spatial Distribution of Net Systems (Q5166761) (← links)
- Modal Open Petri Nets (Q6184717) (← links)