Low- and high-level petri nets with individual tokens - Modica, Tony; Gabriel, Karsten; Ehrig, Hartmut; Hoffmann, Kathrin; Shareef, Sarkaft; Ermel, Claudia; Golas, Ulrike 1980-; Hermann, Frank; Biermann, Enrico (Techn. Univ., Fak. IV, Elektrotechnik und Informatik, 2009)
Keywords: Petri-Netz