Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Data encapsulation and data abstraction with petri nets: A graphical visualization of modules

 
: Fricke, O.

Ehrig, H.; Reisig, W.; Weber, H. ; Deutsche Forschungsgemeinschaft -DFG-, Forschergruppe Petrinetz-Technologie:
Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie 1997 : Berlin, 3. und 4. April 1997
Berlin: Leiter der Fachbibliothek Informatik, 1997 (TU Berlin. Forschungsberichte des Fachbereichs Informatik 97,21)
pp.77-96
Deutsche Forschungsgemeinschaft, Forschergruppe Petrinetz-Technologie (Move-on-Workshop) <1997, Berlin>
English
Conference Paper
Fraunhofer ISST ()
data abstraction; encapsulation; hierarchy concept; high level petri nets; modelling; Modules; visualisation

Abstract
In this paper, the concepts of data encapsulation and data abstraction are applied to Petri nets. Encapsulation is realized by enclosing a data object inside a high level Petri net. Access to the data object is permitted only via exported operations. Abstraction is realized by separating a definition net and an implementation net. This separation is a well known concept of modules, used to handle the complexity problem of large systems and to increase the reusability and maintainability. But this concept has not yet been applied to a modelling technique with Petri nets. Two new hierarchy concepts are introduced to establish the connection between the implementation net and the definition net of one module and between different modules, respectively. Together with the new methodical concepts, a graphical notation of the Petri net model is introduced, which results in an intuitive visualization of Petri net modules.

: http://publica.fraunhofer.de/documents/PX-8959.html