Petri Net Reachability Graphs: Decidability Status of First Order Properties

We investigate the decidability and complexity status of model-checking problems on unlabelled reachability graphs of Petri nets by considering first-order and modal languages without labels on transitions or atomic propositions on markings. We consider several parameters to separate decidable probl...

Fuld beskrivelse

Bibliografiske detaljer

Principais autores:	Philippe Darondeau, Stephane Demri, Roland Meyer, Christophe Morvan
Format:	Artigo
Sprog:	Inglês
Udgivet:	Logical Methods in Computer Science e.V. 2012-10-01
Serier:	Logical Methods in Computer Science
Fag:	computer science - logic in computer science f.1.1 f.4.1
Online adgang:	https://lmcs.episciences.org/872/pdf
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!