Towards a generic definition of Petri systems supporting abstraction and views

Modeling of complex systems necessarily requires appropriate possibilities for structuring. In this paper for structured modeling with Petri nets we propose the well known modeling with abstractions, in the literature usually called hierarchization, as well as the modeling with views. Petri systems supporting these both sorts of structuring will be called AV-Petri systems. Thus the first task to be solved is to suggest the definition of AV-Petri systems. Secondly we will suggest how to use this definition to develop an editor as central part of tools. In the outlook we will outline, what sort of additional components for comfortable tool support are needed