Supervisory Control of Discrete-event Systems Modeled by Timed-arc Petri Nets

摘要

Supervisory control of discrete-event systems, in which certain time-delays may be present for certain events to start and/or to be completed, is considered. It is shown that timed-arc Petri nets (TAPNs) is a convenient formalism to model such systems. Th