Synthesis of Control Policies for Lossy Controlled Petri Nets

• LIN Yih-Kai

  Department of Electrical Engineering, National Taiwan University

• LI Cheng-Hong

  Department of Electrical Engineering, National Taiwan University

• YEN Hsu-Chun

  Department of Electrical Engineering, National Taiwan University

Abstract

The forbidden state problem is to synthesize a control policy for preventing a Petri net from reaching any state in its forbidden set. In this paper, we address a liveness preserving version of the forbidden state problem for lossy Petri nets. During the process of keeping Petri nets out of the set of their forbidden states, a control policy does not disable a live marking. We present a method to solve the above problem based on fixed point computations. We show that for lossy Petri nets, the problem is decidable. From a practical viewpoint, the problem associated with our fixed point approach is 'state explosion.' In order to overcome this problem, we propose a symbolic approach, which uses Boolean functions for implicitly representing the set of states. We use Boolean functions for representing reachable markings. Thus OBDDs, compact representations of Boolean functions, can reduce the time and space involved in solving the forbidden state problem described in this paper.

Journal

• IEICE transactions on fundamentals of electronics, communications and computer sciences

  IEICE transactions on fundamentals of electronics, communications and computer sciences 86 (7), 1790-1798, 2003-07-01

  The Institute of Electronics, Information and Communication Engineers

Keywords

• lossy controlled Petri net
• synthesis
• forbodden state

Details

• CRID: 1573668927254677760
• NII Article ID: 110003212675
• NII Book ID: AA10826239
• ISSN: 09168508
• Text Lang: en
• Data Source:
  • CiNii Articles