Rule based solution for a real time applications problem through abstract Petri nets

A rule-based solution for a real-time problem based on an abstract Petri net (APN) is provided. This extended net type provides compact and verifiable models, and possesses the same descriptive power as that of other extended net types. Various restrictions, activities, and properties of an elevator system (a representative real-time problem) are defined by means of set of behavioral rules to control and manage the functioning of elevator system. How these rules can be implemented in terms of entities of APN to get the model of the system is demonstrated, and it is shown how this model provides an efficient solution of the elevator system