Publication:4393887

zbMath0899.68063MaRDI QIDQ4393887

Waldemar Korczynski

Publication date: 11 June 1998

zbMATH Keywords

Petri netsconcurrent system

Mathematics Subject Classification ID

68R10: Graph theory (including graph drawing) in computer science

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

05C85: Graph algorithms (graph-theoretic aspects)