Timed Petri nets and temporal linear logic

DOI10.1007/3-540-63139-9_35MaRDI QIDQ6487374zbMATH OpenFDO

Authors Makoto Tanabe

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-63139-9_35

Mathematics Subject Classification ID

Temporal logic (03B44) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Quantales (06F07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1228291
• scientific article; zbMATH DE number 1536566
• Temporal logic and categories of Petri nets
• Timed processes of timed Petri nets
• Timed approximate Petri nets
• Time and Petri nets
• Processes of timed Petri nets
• Timed temporal logics
• scientific article; zbMATH DE number 1755138

Cites work

• A taxonomy of fairness and temporal logic problems for Petri nets
• Completeness results for linear logic on Petri nets
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 4092766 (Why is no real title available?)
• scientific article; zbMATH DE number 1479638 (Why is no real title available?)
• scientific article; zbMATH DE number 1536566 (Why is no real title available?)
• Linear logic
• Petri nets are monoids
• Symbolic execution of concurrent systems using Petri nets
• Temporal logic and categories of Petri nets
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Timed Petri nets: Classification and comparative analysis

Cited in

(11)

• Order algebras as models of linear logic
• Linear and affine logics with temporal, spatial and epistemic operators
• scientific article; zbMATH DE number 2088661 (Why is no real title available?)
• Temporal BI: proof system, semantics and translations
• scientific article; zbMATH DE number 1228291 (Why is no real title available?)
• scientific article; zbMATH DE number 1751909 (Why is no real title available?)
• scientific article; zbMATH DE number 1755151 (Why is no real title available?)
• Temporal logic and categories of Petri nets
• Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets
• From box algebra to interval temporal logic
• AI 2005: Advances in Artificial Intelligence

This page was built for publication: Timed Petri nets and temporal linear logic

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