Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. - James E. Coolahan Jr.; Nick Roussopoulos (IEEE Trans. Software Eng., 1983)

A Timed Petri Net Methodolgoy for Specifying Real-Time System Timing Requirements. - James E. Coolahan Jr.; Nick Roussopoulos (PNPM, 1985)