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. In International Workshop on Timed Petri Nets, Torino, Italy, July 1-3, 1985. pages 24-31, IEEE Computer Society, 1985.

Abstract

Abstract is missing.