Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleCausality in Bounded Petri Nets is MSO Definable.Authorsde Oliveira Oliveira, MateusAbstractThe article discusses the conference talks concerning "Causality in Bounded Petri Nets is MSO Definable" by Mateus de Oliveira Oliveira.SubjectsOLIVEIRA, Mateus de Oliveira; PETRI nets; DEFINABILITY theory (Mathematical logic)PublicationLogic Journal of the IGPL, 2017, Vol 25, Issue 2, p269ISSN1367-0751Publication typeArticle