Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Verification of recipe based control procedures by means of predicate/transition nets

 
: Genrich, H.J.; Hanisch, H.-M.; Wöllhaf, K.

Valette, R.:
Application and theory of Petri nets 1994 : 15th international conference, Zaragoza, Spain, June 20 - 24, 1994 ; proceedings
Berlin: Springer, 1994 (Lecture notes in computer science 815)
ISBN: 3-540-58152-9
ISSN: 0302-9743
pp.278-297
International Conference on Application and Theory of Petri Nets <15, 1994, Zaragoza>
English
Conference Paper
Fraunhofer SCAI ()

: http://publica.fraunhofer.de/documents/940461.html