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

Mateus de Oliveira Oliveira

Browse the full ICTAC paper archive.