2
by Wiśniewski, Remigiusz
Published 2017
Springer International Publishing
Table of Contents: ... -- Prototyping of Concurrent Systems -- Modelling of Concurrent Systems in Hardware Languages -- Implementation...

3
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... -- Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net...