The Community for Technology Leaders
Green Image
<p>A rule-based design methodology for solving control problems is presented. For the representation of various constraints, activities, and other dependency properties of the control problem, abstract Petri nets (APNs) which are an extended form of Petri net modeling are used as a specification and formalism tool which can be analyzed using the analysis techniques of Petri-net-based models. The APN provides a compact, consistent, and verifiable description of the dynamic behaviour of the system under consideration in a structured mode. The proposed design methodology supports specification, validation, and analysis through high-level interaction with the modeled system. The various steps which were taken towards the development of such a design paradigm are explained. An example which shows the APN modeling of an elevator system is given.</p>
control problems; rule-based design methodology; abstract Petri nets; specification; formalism tool; dynamic behaviour; validation; high-level interaction; elevator system; formal specification; knowledge engineering; Petri nets; software tools
F.A. Etessami, G.S. Hura, "Rule-Based Design Methodology for Solving Control Problems", IEEE Transactions on Software Engineering, vol. 17, no. , pp. 274-282, March 1991, doi:10.1109/32.75416
95 ms
(Ver 3.3 (11022016))