Petri Net Specification of a New Protocol for Controlling a Distributed System Organization

P. Estraillier, Claude Girault. Petri Net Specification of a New Protocol for Controlling a Distributed System Organization. In Proceedings of the 3rd International Conference on Distributed Computing Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982. pages 654-659, IEEE Computer Society, 1982.

Abstract

Abstract is missing.