Analysis and Application of Logical Petri Nets to E-Commerce Systems

Logical Petri Nets (LPNs) can well describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Their structures are simpler than the equivalent inhibition Petri nets. To analyze them, a vector matching method has been given. In this paper a subclass of LPNs is proposed and its properties are analyzed. It can be used to model and simulate e-commerce systems well. Its special structures and relationships among its logical transitions are discussed. Based on them, a reachability tree is constructed and the state equations are used to analyze its properties, that is, reachability, liveness, conservativeness, and reversibility. The proposed analysis method significantly lowers the computational efforts in comparison with the existing method for LPNs.

[1]  MengChu Zhou,et al.  Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[2]  MengChu Zhou,et al.  A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[3]  John W. Fowler,et al.  Petri Net Translation Patterns for the Analysis of eBusiness Collaboration Messaging Protocols , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[4]  MengChu Zhou,et al.  Interactive Petri Nets , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[5]  MengChu Zhou,et al.  Business and Scientific Workflows: A Web Service-Oriented Approach , 2013 .

[6]  Y Y Du,et al.  logic petri nets and equivalency , 2009 .

[7]  Haiping Xu,et al.  Automated Verification of Dynamic Reliability Block Diagrams Using Colored Petri Nets 1 , 2009 .

[8]  MengChu Zhou,et al.  Intelligent decision making in disassembly process based on fuzzy reasoning Petri nets , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[9]  MengChu Zhou,et al.  Deadlock-Free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[10]  Jiacun Wang,et al.  Timed Petri Nets: Theory and Application , 1998 .

[11]  MuDer Jeng,et al.  A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions , 2008, IEEE Transactions on Automation Science and Engineering.

[12]  MengChu Zhou,et al.  A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language , 2009, IEEE Transactions on Automation Science and Engineering.

[13]  MengChu Zhou,et al.  Liveness of an extended S3PR , 2010, Autom..

[14]  MengChu Zhou,et al.  A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[15]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[16]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[17]  MengChu Zhou,et al.  Deadlock Resolution in Automated Manufacturing Systems With Robots , 2007, IEEE Transactions on Automation Science and Engineering.

[18]  MengChu Zhou,et al.  Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets , 2009, IEEE Transactions on Multimedia.

[19]  Huimin Liu,et al.  Modelling and analysis techniques for cross‐organizational workflow systems , 2009 .

[20]  MengChu Zhou,et al.  Petri Net Modeling and Wafer Sojourn Time Analysis of Single-Arm Cluster Tools With Residency Time Constraints and Activity Time Variation , 2012, IEEE Transactions on Semiconductor Manufacturing.

[21]  MengChu Zhou,et al.  Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care Platform , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[22]  MengChu Zhou,et al.  Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement , 2013, TECS.

[23]  Zhiwu Li,et al.  Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .

[24]  Nadia Busi.  Analysis issues in Petri nets with inhibitor arcs , 2002, Theor. Comput. Sci..

[25]  MengChu Zhou,et al.  Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[26]  Wil M. P. van der Aalst,et al.  Loosely coupled interorganizational workflows: : modeling and analyzing workflows crossing organizational boundaries , 2000, Inf. Manag..

[27]  MengChu Zhou,et al.  A vector matching method for analysing logic Petri nets , 2011, Enterp. Inf. Syst..

[28]  MengChu Zhou,et al.  Reduction and Refinement by Algebraic Operations for Petri Net Transformation , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[29]  Wei Tan,et al.  A Web Service-Based Public-Oriented Personalized Health Care Platform , 2013 .

[30]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

[31]  Gang Xu,et al.  Reachability Analysis of Real-Time Systems Using Time Petri Nets , 2000 .

[32]  MengChu Zhou,et al.  A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems , 2009, IEEE Trans. Syst. Man Cybern. Part A.

[33]  Ke Wang,et al.  First-Order Logic Characterization of Program Properties , 1994, IEEE Trans. Knowl. Data Eng..

[34]  MengChu Zhou,et al.  A Petri-Net-Based Scheduling Strategy for Dual-Arm Cluster Tools With Wafer Revisiting , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[35]  Changjun Jiang,et al.  Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows , 2002, ICFEM.

[36]  MengChu Zhou,et al.  Petri Net-Based Scheduling of Single-Arm Cluster Tools With Reentrant Atomic Layer Deposition Processes , 2011, IEEE Transactions on Automation Science and Engineering.

[37]  William H. Sanders,et al.  Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[38]  MengChu Zhou,et al.  Petri Net Modeling and Cycle-Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[39]  MengChu Zhou,et al.  Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.