ITL semantics of composite Petri nets

DOI10.1016/J.JLAP.2012.12.001MaRDI QIDQ1936232zbMATHOpenAlexFDO

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

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)

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

Cited in

(3)

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

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)