An integrated software development methodology based on hierarchical colored Petri Nets

Valerio O. Pinci, Robert M. Shapiro. An integrated software development methodology based on hierarchical colored Petri Nets. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990. Volume 524 of Lecture Notes in Computer Science, pages 227-252, Springer, 1990.

Abstract

Abstract is missing.