A Trace Semantics for Petri Nets (Extended Abstract)

P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan. A Trace Semantics for Petri Nets (Extended Abstract). In Werner Kuich, editor, Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings. Volume 623 of Lecture Notes in Computer Science, pages 595-604, Springer, 1992.

Abstract

Abstract is missing.