Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam. P-21, 104-115 (2002).

GI, Gesellschaft für Informatik, Bonn
2002


Editors

Jörg Desel (ed.), Mathias Weske (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

The home marking problem and some related concepts

Roxana Melinte , Olivia Oanea , Ioana Olga and Ferucio Laurentiu Tiplea

Abstract


In this paper we study the home marking problem for Petri nets, and some related concepts to it like confluence, noetherianity, and state space inclusion. We show that the home marking problem for inhibitor Petri nets is undecidable. We relate then the existence of home markings to confluence and noetherianity and prove that confluent and noetherian Petri nets have an unique home marking. Finally, we define some versions of the state space inclusion problem related to the home marking and sub-marking problems, and discuss their decidability status.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-350-4


Last changed 04.10.2013 17:56:01