Bibliography
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 (eds.), Petri Nets and Software Engineering, International Workshop, PNSE'09. Proceedings, pages 207-226.
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.
BibTeX entry
@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},
}
Copyright Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
