Process Nets With Channels

This paper presents a class of Petri nets, process nets with channels (PNCs) that can model some types of concurrent systems in two aspects: process and interaction. Its significance lies in offering efficient analysis and verification methods for these systems. PNCs belong to the class of extended free choice nets. This paper establishes the conditions to examine their liveness, reversibility, and reachability based on their structural characteristics. Siphons, traps, and a state equation are used to describe these conditions such that analysis techniques based on reachability graphs and siphon enumeration are avoided. A polynomial-time algorithm is presented for the liveness analysis, and an effective method is also given to decide the reachability. A real-world example is used to illustrate the application of PNCs.

[1]  Lutz Priese,et al.  A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets , 1998, Theor. Comput. Sci..

[2]  Ekkart Kindler,et al.  A Compositional Partial Order Semantics for Petri Net Components , 1997, ICATPN.

[3]  MengChu Zhou,et al.  QoS-Aware Web Service Configuration , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[4]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

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

[6]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[7]  Reiko Heckel,et al.  Open Petri Nets as Semantic Model for Workflow Integration , 2003, Petri Net Technology for Communication-Based Systems.

[8]  W.M.P. van der Aalst,et al.  Interorganizational workflows: An approach based on message sequence charts and petri nets , 1999 .

[9]  Vlad Rusu,et al.  Hybrid Verifications of Reactive Programs , 1999, Formal Aspects of Computing.

[10]  Toader Jucan,et al.  Interorganizational Workflow Nets : a Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows , 2008 .

[11]  Jörg Desel,et al.  Reachability in Cyclic Extended Free-Choice Systems , 1993, Theor. Comput. Sci..

[12]  Erich J. Neuhold,et al.  Matchmaking for business processes based on choreographies , 2004, IEEE International Conference on e-Technology, e-Commerce and e-Service, 2004. EEE '04. 2004.

[13]  A Di Pisa,et al.  Compositional Semantics for Open Petri Nets based on Deterministic Processes , 2001 .

[14]  MengChu Zhou,et al.  Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets , 2010, IEEE Transactions on Automation Science and Engineering.

[15]  Antonio Brogi,et al.  Behaviour-Aware Discovery of Web Service Compositions , 2007, Int. J. Web Serv. Res..

[16]  MengChu Zhou,et al.  Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[17]  Joon S. Park,et al.  Access control mechanisms for inter-organizational workflow , 2001, SACMAT '01.

[18]  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).

[19]  MengChu Zhou,et al.  Two Simple Deadlock Prevention Policies for ${\rm S}^{3}{\rm PR}$ Based on Key-Resource/Operation-Place Pairs , 2010, IEEE Transactions on Automation Science and Engineering.

[20]  Feng Chu,et al.  Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..

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

[22]  Simon Moser,et al.  Diagnosing SCA Components Using Wombat , 2006, Business Process Management.

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

[24]  Zhaohui Wu,et al.  Computing compatibility in dynamic service composition , 2009, Knowledge and Information Systems.

[25]  Naiqi Wu,et al.  System Modeling and Control with Resource-Oriented Petri Nets , 2009 .

[26]  Tony Savor.  Testing Feature-Rich Reactive Systems , 2008, IEEE Software.

[27]  H. S. Hu,et al.  Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[28]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[29]  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.

[30]  Diego Calvanese,et al.  Automatic Service Composition Based on Behavioral Descriptions , 2005, Int. J. Cooperative Inf. Syst..

[31]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

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

[33]  Reiko Heckel,et al.  Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets , 2007, CALCO.

[34]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[35]  MengChu Zhou,et al.  A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[36]  Kamel Barkaoui,et al.  A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets , 1992, Application and Theory of Petri Nets.

[37]  Changjun Jiang,et al.  Modeling and monitoring of E-commerce workflows , 2009, Inf. Sci..

[38]  Kunihiko Hiraishi,et al.  On Structural Conditions for Weak Persistency and Semilinearity of Petri Nets , 1992, Theor. Comput. Sci..

[39]  Manfred Broy,et al.  A formal model of services , 2007, TSEM.

[40]  MengChu Zhou,et al.  Data-Driven Service Composition in Enterprise SOA Solutions: A Petri Net Approach , 2010, IEEE Transactions on Automation Science and Engineering.

[41]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[42]  MengChu Zhou,et al.  Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[43]  Jörg Desel,et al.  Reachability in Reversible Free Choice Systems , 1991, STACS.

[44]  Changjun Jiang,et al.  Incidence Matrix Based Methods for Computing Repetitive Vectors and Siphons of Petri Net , 2009, J. Inf. Sci. Eng..

[45]  Natalia Sidorova,et al.  Can I find a partner? Undecidability of partner existence for open nets , 2008, Inf. Process. Lett..

[46]  Xiang Fu,et al.  Analyzing conversations of Web services , 2006, IEEE Internet Computing.

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

[48]  MengChu Zhou,et al.  Web Service Configuration Under Multiple Quality-of-Service Attributes , 2009, IEEE Transactions on Automation Science and Engineering.