1
by Mukherjee, Anshuman
Published 2013
John Wiley & Sons
Table of Contents: ... CPN Syntax and Semantics; 3.1.3 Timed Colored Petri Nets; 3.1.4 Multisets...