Petri Nets and Algebraic Calculi of Processes

Gérard Boudol, Gérard Roucairol, Robert de Simone. Petri Nets and Algebraic Calculi of Processes. In Kurt Mehlhorn, editor, STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings. Volume 182 of Lecture Notes in Computer Science, pages 59-70, Springer, 1985.

Abstract

Abstract is missing.