English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Verification of recipe based control procedures by means of predicate/transition nets
Details
Full
Export
Statistics
Options
1994
Conference Paper
Titel
Verification of recipe based control procedures by means of predicate/transition nets
Author(s)
Genrich, H.J.
Hanisch, H.-M.
Wöllhaf, K.
Hauptwerk
Application and theory of Petri nets 1994
Konferenz
International Conference on Application and Theory of Petri Nets 1994
Language
English
google-scholar
View Details
Fraunhofer-Institut für Algorithmen und Wissenschaftliches Rechnen SCAI