Pages that link to "Item:Q1190490"
From MaRDI portal
The following pages link to Petri net semantics of priority systems (Q1190490):
Displaying 11 items.
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Structure of concurrency (Q685384) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- M-nets: a survey (Q1006339) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- Priority as extremal probability (Q1816921) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- A Petri net approach for the design and analysis of web services choreographies (Q2390034) (← links)
- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214) (← links)
- On relating some models for concurrency (Q5044721) (← links)
- Interval traces with mutex relation (Q6535190) (← links)
