Pages that link to "Item:Q726149"
From MaRDI portal
The following pages link to Service net algebra based on logic Petri nets (Q726149):
Displaying 5 items.
- Possibilistic Petri nets as a basis for agent service description language (Q598580) (← links)
- Process mining with token carried data (Q1750524) (← links)
- Deadlock detection-oriented unfolding of unbounded Petri nets (Q2215072) (← links)
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs (Q2279733) (← links)
- Compositional Service Trees (Q3636850) (← links)