ITL semantics of composite Petri nets

DOI10.1016/J.JLAP.2012.12.001zbMath1283.68240OpenAlexW1981586904MaRDI QIDQ1936232

Zhenhua Duan, Maciej Koutny, Hanna Klaudel

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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

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