Synthesis and analysis of a real-time controller using Petri nets and concurrency sets

This paper proposes a strategy for synthesizing a model-based controller for a hard real-time system using Petri nets, and analyses the safety implications of this controller using the notion of concurrency sets. A particularly useful subset of concurrency sets is presented. It is called the minimum concurrency set, and it provides an efficient means of obtaining all the possible markings in the net and a ready method for detecting hazardous states. The method is illustrated by an example drawn from industry