APN-based object oriented approach to bounded-buffer problem

The authors examine the use of the abstract-Petri-net- (APN-) based object-oriented approach to solve the bounded-buffer problem, considered as representative of real-time control problems. It is demonstrated how it is possible to represent various requirements in terms of a set of predicates (semantics) to obtain the model of the system. It is shown that the moulded system is compact, verifiable, and consistent. Further, the analysis technique ensures the finite termination of the reachability state tree. The executable code (parameterized procedure and functions) of each of the objects can directly be derived from the model without affecting the overall structure of the modeled system