Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets

• Authors:

• Hartmann J. Genrich;Hans-Michael Hanisch;Konrad Wöllhaf

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 15th International Conference on Application and Theory of Petri Nets
• Year:
• 1994