Syntax and semantics of Petri nets - Gorrieri, Roberto (Verfasser) (Cambridge tracts in theoretical computer science, 2025)