Title | ||
---|---|---|
Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets |
Abstract | ||
---|---|---|
The paper presents a method for the verification of control procedures which are based on so-called recipes. The concept of recipes is widely used in the control of multipurpose chemical batch plants which are very similar to Flexible Manufacturing Systems. |
Year | DOI | Venue |
---|---|---|
1994 | 10.1007/3-540-58152-9_16 | Application and Theory of Petri Nets |
Keywords | Field | DocType |
transition nets,recipe-based control procedures | Predicate transition,Programming language,Computer science,Manufacturing systems,Algorithm,Process control,Recipe,Distributed computing | Conference |
ISBN | Citations | PageRank |
3-540-58152-9 | 5 | 0.75 |
References | Authors | |
2 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hartmann J. Genrich | 1 | 339 | 162.18 |
Hans-Michael Hanisch | 2 | 391 | 51.34 |
Konrad Wöllhaf | 3 | 5 | 1.76 |