Rule-Based Design Methodology for Solving Control Problems.

This paper discusses a rule-based design methodology for solving control problems. For the representation of various constraints, activities, and other dependency properties of the control problem, we are introducing and using abstract Petri nets: (APN) (an extended form of Petri net modeling) as a specification and formalism tool which can be analyzed using analysis techniques of Petri-net-based models. The APN provides a compact, consistent, and verifiable description of dynamic behavior of the system (under consideration) in a structured mode. The proposed design methodology (paradigm) supports specification, validation, and analysis through high-level interaction with the modeled system. The discussion about various steps towards the development of such a design paradigm is explained, with the help of an example. [ABSTRACT FROM AUTHOR]