Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Die Produktnetzmaschine und das SH-Verification Tool

 
: Ochsenschläger, P.; Repp, J.; Rieke, R.

Stucky, W.; Winand, U.:
Petri-Netze zur Modellierung verteilter DV-Systeme : Erfahrungen im Rahmen des DFG-Schwerpunktprogramms "Verteilte DV-Systeme in der Betriebswirtschaft"
Karlsruhe, 1997 (Institut für Angewandte Informatik und Formale Beschreibungsverfahren. Forschungsberichte 350)
S.77-86
Deutsch
Aufsatz in Buch
Fraunhofer SIT ()
formal model

: http://publica.fraunhofer.de/dokumente/970557.html