Temporal logic and categories of Petri nets

DOI10.1007/3-540-56939-1_103zbMATH Open1418.68135OpenAlexW1512033214MaRDI QIDQ4630293FDOQ4630293

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

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

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)

Cites Work

• Title not available (Why is that?)
• Results on the propositional \(\mu\)-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compositional checking of satisfaction
• 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)