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 (Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik, 2009)