Publica
Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten. Verification of recipe based control procedures by means of predicate/transition nets
| 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 () |