Timed Petri nets and temporal linear logic
From MaRDI portal
Publication:6487374
DOI10.1007/3-540-63139-9_35zbMATH Open1510.68071MaRDI QIDQ6487374FDOQ6487374
Authors: Makoto Tanabe 
Publication date: 9 December 2022
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
Temporal logic (03B44) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Quantales (06F07)
Cites Work
- Linear logic
- Completeness results for linear logic on Petri nets
- Title not available (Why is that?)
- Petri nets are monoids
- Symbolic execution of concurrent systems using Petri nets
- A taxonomy of fairness and temporal logic problems for Petri nets
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Timed Petri nets: Classification and comparative analysis
- Title not available (Why is that?)
- Temporal logic and categories of Petri nets
Cited In (11)
- Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets
- Temporal BI: proof system, semantics and translations
- Temporal logic and categories of Petri nets
- Title not available (Why is that?)
- From box algebra to interval temporal logic
- Linear and affine logics with temporal, spatial and epistemic operators
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Order algebras as models of linear 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)
