Petri-Netze

DOI10.1007/978-3-540-76971-2zbMath1143.68054OpenAlexW4248090587MaRDI QIDQ5434195

Lutz Priese, Harro Wimmel

Publication date: 3 January 2008

Published in: eXamen.press (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-76971-2

zbMATH Keywords

Petri netsreachability problemPetri net languagesPomsets

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

This page was built for publication: Petri-Netze