Requirements on petri net technique from point of view of system development process

A Petri net based analysis and design concept for system development process are presented. They appear in two forms, as functional models and as architecture models and present the main steps of system requirements analysis and system design in system development process based on using different Petri net techniques. These are illustrated with a generic executable specification of a flexible manufacturing system.