Temporal logic and categories of Petri nets

DOI10.1007/3-540-56939-1_103MaRDI QIDQ4630293zbMATH OpenOpenAlexFDO

Authors 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 logicmutual exclusionproof systemmodal languagesafety property

Mathematics Subject Classification ID

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

Recommendations

• A taxonomy of fairness and temporal logic problems for Petri nets
• Timing Petri nets categorically
• scientific article; zbMATH DE number 3988722
• Timed Petri nets and temporal linear logic
• Petri nets, algebras, morphisms, and compositionality

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 4119617 (Why is no real title available?)
• Compositional checking of satisfaction
• Results on the propositional \(\mu\)-calculus
• Timing Petri nets categorically

Cited in

(1)

• Timed Petri nets and temporal linear logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4630293)