Pages that link to "Item:Q5460613"

The following pages link to Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets (Q5460613):

Displaying 1 item.

• Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching (Q665122) (← links)