Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

The "Petri Net Baukasten" foundation concept. Verifikation im Vorgehensmodell anhand eines Beispiels

 
: Weber, H.

Ehrig, H.; Reisig, W.; Weber, H. ; Deutsche Forschungsgemeinschaft -DFG-, Forschergruppe Petrinetz-Technologie:
Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie 1997 : Berlin, 3. und 4. April 1997
Berlin: Leiter der Fachbibliothek Informatik, 1997 (TU Berlin. Forschungsberichte des Fachbereichs Informatik 97,21)
pp.153-165
Deutsche Forschungsgemeinschaft, Forschergruppe Petrinetz-Technologie (Move-on-Workshop) <1997, Berlin>
German
Conference Paper
Fraunhofer ISST ()

: http://publica.fraunhofer.de/documents/PX-28304.html