ITL semantics of composite Petri nets

DOI10.1016/J.JLAP.2012.12.001zbMATH Open1283.68240OpenAlexW1981586904MaRDI QIDQ1936232FDOQ1936232

Authors: Zhenhua Duan, Hanna Klaudel, Maciej Koutny 

Publication date: 21 February 2013

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2012.12.001

Recommendations

• From box algebra to interval temporal logic
• Interval Temporal Logic Semantics of Box Algebra
• scientific article; zbMATH DE number 4143457
• A compositional partial order semantics for Petri net components
• On the algebraic structure of Petri nets

zbMATH Keywords

semanticsPetri netbox algebraITL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• ESTL: A Temporal Logic for Events and States
• Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems
• From box algebra to interval temporal logic

This page was built for publication: ITL semantics of composite Petri nets

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