High-Level Models of Unconventional Computations More Books Like This

Application and Theory of Petri Nets and Concurrency