Search

Logic Petri Nets (LPNs) is a high-level Petri net, which have the capability to model the batch and indeterminate processing of resources in cooperative systems. Their modeling capability is equivalent to that of inhibition Petri nets (IPNs) but the former maintains simpler net structures. This paper presents a systematic LPN synthesis approach for cooperative systems. First, a normal/logic transition with its connected places is treated as a basic design module. Then, we synthesize the basic design modules firstly to construct LPN models by connecting with shared resource places. Finally, some control strategies are designed to guarantee the resulting LPNs with desirable properties such as boundedness, liveness, and reversibility. An example for constructing an E-commerce system is proposed to illustrate the proposed approach. The paper is of significance in the sense that it provides industrial engineers and academic researchers a methodology of applying LPNs to modeling and analysis of cooperative systems.

Logical Petri nets (LPNs) can well describe and analyze batch processing functions and pass the value indeterminacy in cooperative systems. Their structure is simpler than their equivalent inhibition PNs. To analyze them, a vector matching method was given previously. We present interactive LPNs (ILPNs) in this paper. Their liveness and boundedness are analyzed for the first time. Compatibility is analyzed for a composed system and reflects the possibility of correct/proper interactions among its subsystems. To characterize different cooperative abilities in practice, compatibility is defined for ILPNs. Some relationships among compatibility, liveness, boundedness, and conservativeness are revealed. An example is presented to discuss the effectiveness of the proposed method.