MSO Logic and the Partial Order Semantics of Place/Transition-Nets

DOI10.1007/978-3-319-25150-9_22zbMath1471.68162OpenAlexW2199397425MaRDI QIDQ2787436

Mateus de Oliveira Oliveira

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25150-9_22

zbMATH Keywords

monadic second-order logicPetri netsslice languages

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25) Higher-order logic (03B16)

Related Items (1)

Causality in Bounded Petri Nets is MSO Definable

This page was built for publication: MSO Logic and the Partial Order Semantics of Place/Transition-Nets