Using Colored Petri Nets for System Specifications and as a System Under Test Prototype

Thomas Schnattinger, Andrej Pietschker. Using Colored Petri Nets for System Specifications and as a System Under Test Prototype. Softwaretechnik-Trends, 30(3), 2010. [doi]

Abstract

Abstract is missing.