In: Proceedings of the 32nd Midwest Symposium on Circuits and Systems, 1989, Champaign, IL, USA, pages 410-413. Piscataway, NJ, USA: IEEE Service Center, 1990.
Abstract: 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 are defined by means of a set of behavioral rules to control and manage the functioning of the 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.
Keywords: rule based solution; abstract net; elevator system.