Petri Net Algebra by Eike Best, Raymond Devillers, Maciej Koutny.
This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory. Added synergistic benefit is deri...
Full description
Saved in: