Gerber, Christian2025-05-282011https://epflicht.bibliothek.uni-halle.de/handle/123456789/222983009704Xurn:nbn:de:gbv:3:2-451692301046Online-Ressource (PDF-Datei: 23 S., 0,78 MB) : graph. Darst.enghttp://rightsstatements.org/vocab/InC/1.0/004How to develop a graphical editor for discrete timed Net Condition/Event Systems using the Eclipse Petri Net Kernel / Christian GerberBook