Abstract Petri net based approach to problem solving in real time applications

A rule based solution for a real time problem based on the abstract Petri net (APN) is provided. The APN provides compact and verifiable models. Certain restrictions, activities, and properties of the elevator system (a representative of a real time problem) are defined by means of a set of behavioral rules to control and manage the functioning of the elevator system. It is shown how these rules can be implemented directly in terms of entities of APN to get the model of the system which will provide an efficient solution. Any additional requirements can also be easily included into the model without affecting the overall structure, thus providing flexibility and modularity for an efficient solution of the problem