A Timed Petri Net Methodolgoy for Specifying Real-Time System Timing Requirements.

James E. Coolahan Jr. Nick Roussopoulos A Timed Petri Net Methodolgoy for Specifying Real-Time System Timing Requirements. 24-31 1985 conf/pnpm/1985 PNPM db/conf/pnpm/pnpm1985.html#CoolahanR85