000 00641nmm a2200217Ia 4500
001 EBK12745
005 20250328145353.0
008 250328s9999 xx 000 0 und d
020 _a9783319555591
100 _aRoberto Gorrieri
245 0 _aProcess Algebras for Petri Nets
250 _a1st ed. 2017
260 _bSpringer
260 _c2017
490 _aMonographs in Theoretical Computer Science. An EATCS Series
650 _aComputer Science
650 _aTheory of Computation
856 _3Click here to access online
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-319-55559-1
942 _cEBK
999 _c160750
_d160750