Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems

Abstract

Extended colored logic Petri nets (ECLPNs) are extensions of logic Petri nets (LPNs) and colored logic Petri nets (CLPNs). They are equivalent to LPNs and CLPNs, which can describe the batch processing and indeterminacy functions of resources in cooperative systems. The advantage of ECLPNs is that their net structures are much simpler than their equivalent CLPNs, and therefore, ECLPNs can be easily used to model and analyze cooperative systems. For systems containing several subsystems with the same function and structure, we can describe them by a single ECLPN. Then we propose a composition method of ECLPNs. We define the robustness of a system based on ECLPN which reflects the validity of the collaboration of subsystems. We define a strict conservativeness that guarantees data security. The robustness and strict conservativeness of composed ECLPNs are analyzed. An E-commerce example is presented to illustrate the modeling capacity and the advantage of ECLPNs.

Keywords

• Colored logic Petri net
• extended colored logic Petri net
• composition
• e-commerce system
• property analysis