Javier Esparza, Manuel Silva. Top-down synthesis of live and bounded free choice 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 118-139, Springer, 1990.
No references recorded for this publication.
No citations of this publication recorded.