For the most recent entries see the Petri Nets Newsletter.

Specification of Timing Requirements for Real-time Systems Using Timed Petri Nets.

Coolahan, J.E.

Univ. Maryland, USA, 1985.

Abstract: This dissertation develops a formal methodology for specifying the timing requirements for a real-time system in terms of process execution times. A Petri net model that uses places to represent system processes is extended by augmenting these places with time variables representing process execution times.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography