Pages that link to "Item:Q507759"

The following pages link to Partial order reduction for checking soundness of time workflow nets (Q507759):

Displaying 2 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)
• An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions (Q6186994) (← links)