Use of the Behaviour Equivalence in Place-Transition Net Analysis

Charles André. Use of the Behaviour Equivalence in Place-Transition Net Analysis. In Claude Girault, Wolfgang Reisig, editors, Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Stasbourg 23.-26. September 1980, Bad Honnef 28.-30. September 1981. Volume 52 of Informatik-Fachberichte, pages 241-250, Springer, 1981.

Abstract

Abstract is missing.