Algebras of Processes of Timed Petri Nets

Józef Winkowski. Algebras of Processes of Timed Petri Nets. In Bengt Jonsson, Joachim Parrow, editors, CONCUR 94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Volume 836 of Lecture Notes in Computer Science, pages 194-209, Springer, 1994.

Abstract

Abstract is missing.