Structural liveness of Petri nets is ExpSpace-hard and decidable

Place/transition Petri nets are a standard model for a class of distributed systems whose reachability spaces might be infinite. One of well-studied topics is verification of safety and liveness properties in this model; despite an extensive research effort, some basic problems remain open, which is...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Acta informatica 2019-09, Vol.56 (6), p.537-552
Hauptverfasser:	Jančar, Petr, Purser, David
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer networks Computer Science Computer Systems Organization and Communication Networks Data Structures and Information Theory Distributed processing Information Systems and Communication Service Logics and Meanings of Programs Marking Original Article Petri nets Software Engineering/Programming and Operating Systems Theory of Computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!