Considerable interest has recently been shown in the development of Petri net models for various computer and control applications. Petri nets play a significant role in parallel processing, and can model both hardware and software.
The objective of this thesis is to exploit Petri nets in the areas of systems and software engineering. In particular, a generalized Petri net state equation has been derived and a new concept of two-dimensional Petri nets has been proposed. Petri net models for knowledge based systems, adaptive networks, and neural systems have been derived. The role of the Petri net in software engineering is discussed, and some new algorithms for software complexity and reliability are proposed. An effort has also been made to distinguish different software engineering aspects from the 'A' matrix used in Petri nets.
This work will lead to challenging problems in the development of new parallel processing algorithms for software engineering.
Index Terms
- Petri net approach for systems and software engineering
Recommendations
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri NetsThis paper presents an overview of the Petri Net Baukasten developed by the "DFG-Forschergruppe Petrinetz-Technologie" in Berlin. The Petri Net Baukasten provides a unified presentation with different views on theory, application, and tools of Petri ...
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri NetsWe show in this paper how the formalism of Parameterized Net Classes is realized with the Petri Net Kernel. Parameterized Net Classes are an abstract notion of Petri nets using formal parameters to express Petri net type characteristics. This formalism ...
Revisiting Petri Net Modeling of the Cigarette Smokers' Problem: A GPenSIM Approach
EMS '13: Proceedings of the 2013 European Modelling SymposiumPetri Nets is a family of modeling formalisms, with different interpretations and abstraction levels; the Petri nets family of modeling formalisms includes ordinary Petri Net, generalized Petri Net, and also all other extensions e.g. Colored Petri Net, ...