Bibliographie

United - A Petri Net Based Framework for Modeling Complex and Adaptive Systems

Marcin Hewelt and Matthias Wester-Ebbinghaus.
United - a Petri net based framework for modeling complex and adaptive systems.
In Moldt (Hrsg.), Petri Nets and Software Engineering, International Workshop, PNSE'09. Proceedings, pages 207-226.

Kurzfassung: Modeling of systems is an essential part of software engineering, especially if one considers complex, dynamic systems, which can be characterized as systems of systems. Runtime adaptation of the system needs to be considered as a first-class concept and handled in a systematic way throughout the different levels of abstraction. The formal and intuitive expression of concurrency, the possibility to model nested systems using the nets-in-nets concept and the clearness of the models makes Petri nets a good choice to model and implement the aforementioned systems. However, their static structure does not support adaptation during simulation time directly. In this paper we present the concept of units as composable building blocks for system modeling and give an informal sketch of Unit~Theory, which states how units can be traced back to net foldings of an underlying net. Furthermore we derive an implementation of units as special high-level Petri nets through stepwise refinement of a basic model. Together with a set of basic operations these nets form UnitEd, a modeling framework which provides simulation time adaptation and successive refinements of models. UnitEd is aimed at modeling and implementing complex systems as dynamic configuration of small building blocks -- the units. Units can be recursively nested to form non-disjunct hierarchies, that are ideally suited to model systems of systems at different levels of abstraction. {UnitEd} is built as a plug-in on top of Renew, a simulation engine for Petri nets and related net formalisms.

BibTeX-Eintrag

@inProceedings{Hewelt+09,
  author={Hewelt, Marcin and Wester-Ebbinghaus, Matthias},
  title={United -- A {Petri} Net Based Framework for Modeling Complex
                  and Adaptive Systems},
  abstract={Modeling of systems is an essential part of software
                  engineering, especially if one considers complex,
                  dynamic systems, which can be characterized as
                  systems of systems. Runtime adaptation of the system
                  needs to be considered as a first-class concept and
                  handled in a systematic way throughout the different
                  levels of abstraction. The formal and intuitive
                  expression of concurrency, the possibility to model
                  nested systems using the nets-in-nets concept and
                  the clearness of the models makes Petri nets a good
                  choice to model and implement the aforementioned
                  systems.  However, their static structure does not
                  support adaptation during simulation time
                  directly. In this paper we present the concept of
                  units as composable building blocks for system
                  modeling and give an informal sketch of
                  Unit~Theory, which states how units can be
                  traced back to net foldings of an underlying
                  net. Furthermore we derive an implementation of
                  units as special high-level Petri nets through
                  stepwise refinement of a basic model. Together with
                  a set of basic operations these nets form
                  UnitEd, a modeling framework which provides
                  simulation time adaptation and successive
                  refinements of models. UnitEd is aimed at
                  modeling and implementing complex systems as dynamic
                  configuration of small building blocks -- the
                  units. Units can be recursively nested to form
                  non-disjunct hierarchies, that are ideally suited to
                  model systems of systems at different levels of
                  abstraction.  {UnitEd} is built as a plug-in
                  on top of Renew, a simulation engine for Petri nets
                  and related net formalisms.},
  crossref =   {Moldt-e-09a},
  pages={207-226},
  year={2009}
}

@Proceedings{Moldt-e-09a,
  title =  {{Petri} Nets and Software Engineering,
                  International Workshop, PNSE'09.
                  Proceedings},
  booktitle =  {{Petri} Nets and Software Engineering,
                  International Workshop, PNSE'09.
                  Proceedings},
  year =  2009,
  editor =  {Moldt, Daniel},
  series =  {Technical Reports Universit{\'e} Paris 13},
  address =  {99, avenue Jean-Baptiste Cl{\'e}ment, 93 430 Villetaneuse},
  month =  jun,
  publisher =  {Universit{\'e} Paris 13},
  url =          {http://www.informatik.uni-hamburg.de/TGI/events/pnse09/},
}

Copyright-Hinweis

Diese Informationen werden zur Verfügung gestellt, um technische und Forschungsarbeiten zeitnah bekannt zu geben. Das Urheberrecht und alle damit verbundenen Rechte verbleiben bei den Autoren bzw. anderen Rechteinhabern. Von jedem, der Informationen dieser Seiten übernimmt, wird erwartet, dass er sich an die jeweiligen Bedingungen und Beschränkungen der Rechteinhaber hält. Meist bedeutet dies, dass die hier bereitgestellten Daten nicht ohne explizite Genehmigung der Rechteinhaber weiterveröffentlicht werden dürfen.