Publication:4802724

zbMath1016.16038MaRDI QIDQ4802724

Kazimierz Głazek, Waldemar Korczynski

Publication date: 23 April 2003

zbMATH Keywords

Petri netssemirings

Mathematics Subject Classification ID

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

16Y60: Semirings