• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Verification of recipe based control procedures by means of predicate/transition nets
 
  • Details
  • Full
Options
1994
Conference Paper
Title

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

Author(s)
Genrich, H.J.
Hanisch, H.-M.
Wöllhaf, K.
Mainwork
Application and theory of Petri nets 1994  
Conference
International Conference on Application and Theory of Petri Nets 1994  
Language
English
Fraunhofer-Institut für Algorithmen und Wissenschaftliches Rechnen SCAI  
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024