Applications and Theory of Petri Nets 2004
From MaRDI portal
Publication:5712335
DOI10.1007/b98283zbMath1094.68064OpenAlexW2495597431WikidataQ56892631 ScholiaQ56892631MaRDI QIDQ5712335
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
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