Logo des Repositoriums

Auflistung nach Autor:in "Olga, Ioana"

1 - 1 von 1
  • Konferenzbeitrag
    The home marking problem and some related concepts
    (Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002) Melinte, Roxana; Oanea, Olivia; Olga, Ioana; Ţiplea Laurenţiu, Ferucio
    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.