Applications and Theory of Petri Nets 2004

DOI10.1007/b98283zbMath1094.68064OpenAlexW2495597431WikidataQ56892631 ScholiaQ56892631MaRDI QIDQ5712335

Marko M. Mäkelä, Timo Latvala

Publication date: 23 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98283

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)

Related Items

Replication, refinement \& reachability: complexity in dynamic condition-response graphs, Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines, An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets, Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

Uses Software

• PROD
• Maria
• LTL2BA