Refinement and Simulation of Nets - A Categorical Characterisation

Carolyn Brown, Doug Gurr. Refinement and Simulation of Nets - A Categorical Characterisation. In Kurt Jensen, editor, Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings. Volume 616 of Lecture Notes in Computer Science, pages 76-92, Springer, 1992.

Abstract

Abstract is missing.