Pages that link to "Item:Q1901713"
From MaRDI portal
The following pages link to On the analysis of Petri nets with static priorities (Q1901713):
Displaying 5 items.
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Deterministic catalytic systems are not universal (Q860859) (← links)
- Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem (Q1686849) (← links)
- A Petri net approach for the design and analysis of web services choreographies (Q2390034) (← links)
- Liveness enforcement for production systems modeled by time Petri nets (Q6052675) (← links)
