Context-adaptive Petri nets: Supporting adaptation for the execution context

We propose context-adaptive Petri nets (CAPN).CAPN allows the modeling of systems that need to adapt to their execution context.CAPN deals with data and system behavior as separate concerns.A tool is developed to support the modeling, simulation, and execution of CAPN.We thoroughly evaluate CAPN showing its benefits and further challenges. Petri nets (PNs) are a mathematical and graphical modeling language with powerful analysis techniques. They have been successfully used in several areas, such as business process management, human computer interaction, and pervasive computing. Within these areas, context adaptivity has recently emerged as a new challenge to explicitly address fitness between system behavior and its execution context. However, the existing PN formalisms do not provide reliable modeling, simulation, and verification techniques that can accurately consider the system's execution context and adapt to it in order to reflect the system execution reality. This paper addresses this problem by presenting context-adaptive Petri nets (CAPNs), a formalism that allows the modeling of context-adaptive behavior by integrating the powerful modeling and analysis techniques of PNs with very expressive context data management techniques. The formalism is supported by a tool that allows its modeling, simulation, and verification. The contributions have been validated using a case-based evaluation showing very promising results. CAPNs will allow organizations to accurately describe, enact, and analyze the behavior of their dynamic systems in a more reliable and realistic way, allowing them to leverage more informed decisions, to make better use of their resources, and to increase therefore their competitiveness.

[1]  Arkady B. Zaslavsky,et al.  Context Aware Computing for The Internet of Things: A Survey , 2013, IEEE Communications Surveys & Tutorials.

[2]  Souheib Baarir,et al.  The GreatSPN tool: recent enhancements , 2009, PERV.

[3]  Vicente Pelechano,et al.  Context-Adaptive Coordination of Pervasive Services by Interpreting Models during Runtime , 2013, Comput. J..

[4]  N. F. Noy,et al.  Ontology Development 101: A Guide to Creating Your First Ontology , 2001 .

[5]  Cw Christian Günther,et al.  Process mining: Using CPN tools to create test logs for mining algorithms , 2005 .

[6]  Simon A. Dobson,et al.  Ontology-based models in pervasive computing systems , 2007, The Knowledge Engineering Review.

[7]  Bart Baesens,et al.  Towards Location-Aware Process Modeling and Execution , 2014, Business Process Management Workshops.

[8]  Hajo A. Reijers,et al.  Balanced multi-perspective checking of process conformance , 2016, Computing.

[9]  Jadwiga Indulska,et al.  A survey of context modelling and reasoning techniques , 2010, Pervasive Mob. Comput..

[10]  S. Bartkevičius,et al.  Global Variables in Colored Petri Nets , 2006 .

[11]  Tao Lu,et al.  A Systematic Approach to Context Aware Service Design , 2012, J. Comput..

[12]  Frédérique Laforest,et al.  A comprehensive approach to model and use context for adapting applications in pervasive environments , 2007, J. Syst. Softw..

[13]  Juan Sánchez,et al.  Business Processes Contextualisation via Context Analysis , 2010, ER.

[14]  Wil M. P. van der Aalst,et al.  Making Work Flow: On the Application of Petri Nets to Business Process Management , 2002, ICATPN.

[15]  Matthias Baldauf,et al.  A survey on context-aware systems , 2007, Int. J. Ad Hoc Ubiquitous Comput..

[16]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[17]  Harry Chen,et al.  An ontology for context-aware pervasive computing environments , 2003, The Knowledge Engineering Review.

[18]  Jan Marco Leimeister,et al.  Business Potentials of Ubiquitous Computing , 2006, Managing Development and Application of Digital Technologies.

[19]  Liliana Ardissono,et al.  Context-Aware Workflow Management , 2007, ICWE.

[20]  Kees M. van Hee,et al.  Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets , 2000, ICATPN.

[21]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[22]  Christophe Kolski,et al.  Evaluation of Agent-based Interactive Systems: Proposal of an Electronic Informer Using Petri Nets , 2008, J. Univers. Comput. Sci..

[23]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[24]  Claus Reinke.  Haskell-Coloured Petri Nets , 1999, IFL.

[25]  Liliana Ardissono,et al.  A Framework for the Management of Context-aware Workflow Systems , 2007, WEBIST.

[26]  Daniel Moldt,et al.  An Extensible Editor and Simulation Engine for Petri Nets: Renew , 2004, ICATPN.

[27]  Selmin Nurcan,et al.  Context-awareness for adequate business process modelling , 2009, 2009 Third International Conference on Research Challenges in Information Science.

[28]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets definitions, properties, and applications , 1991 .

[29]  Fu-Shiung Hsieh,et al.  Context-aware workflow management for virtual enterprises based on coordination of agents , 2014, J. Intell. Manuf..

[30]  Minyi Guo,et al.  Towards Context-Aware Workflow Management for Ubiquitous Computing , 2008, 2008 International Conference on Embedded Software and Systems.

[31]  Frédérique Laforest,et al.  Adaptation in context-aware pervasive information systems: the SECAS project , 2008, Int. J. Pervasive Comput. Commun..

[32]  Wil M. P. van der Aalst,et al.  Strategies for Modeling Complex Processes Using Colored Petri Nets , 2013, Trans. Petri Nets Other Model. Concurr..

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

[34]  Anind K. Dey,et al.  Understanding and Using Context , 2001, Personal and Ubiquitous Computing.

[35]  Michael Westergaard,et al.  CPN Tools 4: Multi-formalism and Extensibility , 2013, Petri Nets.

[36]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.