Static analysis of systems: a methodology based on timed Petri nets
George K. Hutchinson, Alan T. Clementson · Production Planning & Control · 1991
Petri nets and their supersets have been used since the 1950s as a basis for systems analysis and simulation. This paper describes a methodology for performing static analyses of complex, dynamic systems based on an extension of timed Petri nets, activity cycle diagrams (ACDs). ACDs are introduced and the method for transforming them into a static analysis table is given (examples arc also provided). Limitations of the method are described, and the use of static analysis is discussed in the areas of system design, capacity planning and control. An implementation of the method in C provides interactive capabilities.