Petri Nets

DOI10.1007/978-981-19-6309-4OpenAlexW4312457305MaRDI QIDQ5039675

GuanJun Liu

Publication date: 1 October 2022

Full work available at URL: https://doi.org/10.1007/978-981-19-6309-4

zbMATH Keywords

Petri netsmodel checkingstructural characteristicscomputation tree logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Liveness enforcement for production systems modeled by time Petri nets

This page was built for publication: Petri Nets