NexTech 2021 Congress
October 03, 2021 to October 07, 2021 - Barcelona, Spain

  • UBICOMM 2021, The Fifteenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
  • ADVCOMP 2021, The Fifteenth International Conference on Advanced Engineering Computing and Applications in Sciences
  • SEMAPRO 2021, The Fifteenth International Conference on Advances in Semantic Processing
  • AMBIENT 2021, The Eleventh International Conference on Ambient Computing, Applications, Services and Technologies
  • EMERGING 2021, The Thirteenth International Conference on Emerging Networks and Systems Intelligence
  • DATA ANALYTICS 2021, The Tenth International Conference on Data Analytics
  • GLOBAL HEALTH 2021, The Tenth International Conference on Global Health Challenges
  • CYBER 2021, The Sixth International Conference on Cyber-Technologies and Cyber-Systems

SoftNet 2021 Congress
October 03, 2021 to October 07, 2021 - Barcelona, Spain

  • ICSEA 2021, The Sixteenth International Conference on Software Engineering Advances
  • ICSNC 2021, The Sixteenth International Conference on Systems and Networks Communications
  • CENTRIC 2021, The Fourteenth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
  • VALID 2021, The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle
  • SIMUL 2021, The Thirteenth International Conference on Advances in System Simulation
  • SOTICS 2021, The Eleventh International Conference on Social Media Technologies, Communication, and Informatics
  • INNOV 2021, The Tenth International Conference on Communications, Computation, Networks and Technologies
  • HEALTHINFO 2021, The Sixth International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing

NetWare 2021 Congress
November 14, 2021 to November 18, 2021 - Athens, Greece

  • SENSORCOMM 2021, The Fifteenth International Conference on Sensor Technologies and Applications
  • SENSORDEVICES 2021, The Twelfth International Conference on Sensor Device Technologies and Applications
  • SECURWARE 2021, The Fifteenth International Conference on Emerging Security Information, Systems and Technologies
  • AFIN 2021, The Thirteenth International Conference on Advances in Future Internet
  • CENICS 2021, The Fourteenth International Conference on Advances in Circuits, Electronics and Micro-electronics
  • ICQNM 2021, The Fifteenth International Conference on Quantum, Nano/Bio, and Micro Technologies
  • FASSI 2021, The Seventh International Conference on Fundamentals and Advances in Software Systems Integration
  • GREEN 2021, The Sixth International Conference on Green Communications, Computing and Technologies

TrendNews 2021 Congress
November 14, 2021 to November 18, 2021 - Athens, Greece

  • CORETA 2021, Advances on Core Technologies and Applications
  • DIGITAL 2021, Advances on Societal Digital Transformation

 


ThinkMind // ADAPTIVE 2018, The Tenth International Conference on Adaptive and Self-Adaptive Systems and Applications // View article adaptive_2018_1_30_50016


Adaptive Petri Nets – A Petri Net Extension for Reconfigurable Structures

Authors:
Carl Mai
René Schöne
Johannes Mey
Thomas Kühn
Uwe Aßmann

Keywords: Petri nets; Reconfigurable Petri nets; Inhibitor Arcs; Analysis

Abstract:
Petri nets are used to formally model the behavior of systems. However, when these systems dynamically change, e.g., due to context dependence, modeling gets complex and cumbersome since Petri nets are low-level and can not express dynamic changing parts. Expressing dynamically changing parts of the system directly within Petri nets increases the clarity and allows for modeling complex, context dependent, systems. While various approaches can be found in the literature, their integration into the Petri net ecosystem is often not considered. This restricts the available tools and analysis techniques to those, which can handle that custom net type. We present adaptive Petri nets, an extension to Petri nets, which directly expresses variability within the net. Our approach integrates well with other Petri net extensions, such as colored tokens, inhibitor arcs or hierarchy. Most importantly, it is possible to convert an adaptive Petri net to a semantically equivalent Petri net with inhibitor arcs. This work presents the formalism of adaptive Petri nets, how they can be flattened to Petri nets with inhibitor arcs and their graphical representation. The feasability and usability is demonstrated on two examples that are modeled, flattened and analyzed.

Pages: 15 to 23

Copyright: Copyright (c) IARIA, 2018

Publication date: February 18, 2018

Published in: conference

ISSN: 2308-4146

ISBN: 978-1-61208-610-1

Location: Barcelona, Spain

Dates: from February 18, 2018 to February 22, 2018

SERVICES CONTACT
2010 - 2017 © ThinkMind. All rights reserved.
Read Terms of Service and Privacy Policy.