From: Mike Becker Date: Thu, 5 Dec 2019 17:58:06 +0000 (+0100) Subject: renames PetriNet to Petrinet and uses the parser as a resource in Main X-Git-Url: https://develop.uap-core.de/gitweb/petrinet.git/commitdiff_plain/685b0bc0c29700edd27a1ae148b75b417947b8ac?hp=685b0bc0c29700edd27a1ae148b75b417947b8ac renames PetriNet to Petrinet and uses the parser as a resource in Main ---