Temporal logic and categories of Petri nets

DOI10.1007/3-540-56939-1_103zbMath1418.68135OpenAlexW1512033214MaRDI QIDQ4630293

Carolyn Brown, Doug Gurr

Publication date: 29 March 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56939-1_103

zbMATH Keywords

temporal logicproof systemmutual exclusionmodal languagesafety property

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Cites Work

• Compositional checking of satisfaction
• Results on the propositional \(\mu\)-calculus
• Timing Petri Nets categorically
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Temporal logic and categories of Petri nets