제어로봇시스템학회:학술대회논문집

Institute of Control, Robotics and Systems (제어로봇시스템학회)
권호 표지

Checking liveness in petri nets using synchronic variables

  • Koh, Inseon (Department of Electrical, Computer and Systems Engineering and Center for Manufacturing Productivity and Technology Transfer, Rensselaer Polytechnic Institute) ;
  • DiCesare, Frank (Department of Electrical, Computer and Systems Engineering and Center for Manufacturing Productivity and Technology Transfer, Rensselaer Polytechnic Institute)
  • Published : 1991.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper we present how the deviation bound, which is a synchronic variable, can be used for checking liveness in Petri nets. Also, the deviation bound will be applied to detect or avoid deadlock situations and to characterize concurrency against sequential behaviors in automated manufacturing systems. In the current stage, we restrict the applicable domain of these methods to the Petri net structure that can be synthesized by combining common transitions or common places or common paths of Live-and-Bounded circuits.

Keywords