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

Genrich, H.J.H.J.GenrichHanisch, H.-M.H.-M.HanischWöllhaf, K.K.Wöllhaf2022-03-092022-03-091994https://publica.fraunhofer.de/handle/publica/323756en003005006518400Verification of recipe based control procedures by means of predicate/transition netsconference paper