Pages that link to "Item:Q1190490"
From MaRDI portal
The following pages link to Petri net semantics of priority systems (Q1190490):
Displaying 16 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)
- On the analysis of Petri nets with static priorities (Q1901713) (← 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)
- Controlling Petri Net Behavior using Priorities for Transitions (Q2968855) (← links)
- On relating some models for concurrency (Q5044721) (← links)
- Formal Methods for Components and Objects (Q5311294) (← links)
- A process algebra with distributed priorities (Q6104364) (← links)
- Analysis of Petri nets with a dynamic priority method (Q6487377) (← links)
- Interval traces with mutex relation (Q6535190) (← links)