论文信息 - Analysis of a Class of Controlled Petri Net based on Structural Decomposition

Analysis of a Class of Controlled Petri Net based on Structural Decomposition

Abstract We proposed a collaborative Petri net (CPN) model for multi-agent systems (MAS) operating under contract net protocol. The CPN model proposed extends our previous results. By exploiting the structure of the CPN, we characterized a liveness condition for it and proposed a structural decomposition method to test the liveness condition. In addition, we also analyze the fault tolerant property of CPN to characterize tolerable resource failures in MAS based on the concept of critical path.

Fu-Shiung Hsieh

[1] Fu-Shiung Hsieh. Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets , 2004, Autom..

[2] Jacques Ferber,et al. Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[3] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[4] Reid G. Smith,et al. The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.