Pages that link to "Item:Q507759"
From MaRDI portal
The following pages link to Partial order reduction for checking soundness of time workflow nets (Q507759):
Displaying 6 items.
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs (Q2279733) (← links)
- Formal verification of temporal properties for reduced overhead in grid scientific workflows (Q2637258) (← links)
- Soundness of timed-arc workflow nets in discrete and continuous-time semantics (Q2803579) (← links)
- (Q4270073) (← links)
- Delay-Dependent Partial Order Reduction Technique for Time Petri Nets (Q5500554) (← links)
- An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions (Q6186994) (← links)