Hierarchical time-extended Petri nets (H-EPNs) based error identification and recovery for multilevel systems

  • Authors:
  • S. Ramaswamy;K. P. Valavanis

  • Affiliations:
  • Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX;-

  • Venue:
  • IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, hierarchical time-extended Petri nets (H-EPNs), an extended Petri net based modeling and analysis tool, are used to derive the coordination level model of hierarchically decomposable systems, viewed from a three-level hierarchical structure of organization, coordination and execution of tasks. A two-layer (vertical) coordination level framework, consisting of the dispatcher/analyzer and the H-EPN controller is presented. A detailed two sub-level (horizontal) H-EPN controller model is derived to model system operations (including system soft failures). Error classification based on the interaction between the various system coordinators is derived from the H-EPN model. The H-EPN approach preserves multi-resolutional system details as well as effective communication flows between the various subsystems. A simple example illustrates the proposed approach. The important H-EPN properties of boundedness, safeness and reversibility are verified