Lectures on Concurrency and Petri Nets
From MaRDI portal
Publication:5712299
DOI10.1007/b98282zbMath1088.68121OpenAlexW78026558MaRDI QIDQ5712299
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/b98282
Related Items
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems, Interleaving vs True Concurrency: Some Instructive Security Examples, Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques, Runners for interleaving algebraic effects, Non-interference assessment in colored net systems via integer linear programming, Current-state opacity enforcement in discrete event systems under incomparable observations, On Intransitive Non-interference in Some Models of Concurrency, Optimization-based assessment of initial-state opacity in Petri nets, Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets