Integration of Planning and Production Processes
Troch, Inge; Breitenecker, Felix (Hrsg). Petrinets: Current Research Topics and their Application in Traffic Safety and Automation Engineering. Special Session at Mathmod 2006. Wien. 2006 S. 1 - 9 Paper 4
Erscheinungsjahr: 2006
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
Inhaltszusammenfassung
The paper presents a Semantic Process Language to specify and verify process properties. For this, the words of the language called modules are canonically translated into Petri nets. Specific firing sequences of these nets are then interpreted as the modules’ processes. Since the language has been applied to both production and business processes in the past, it could be a means to integrate planning and production processes. The paper discusses the canonical building rules and the verificat...The paper presents a Semantic Process Language to specify and verify process properties. For this, the words of the language called modules are canonically translated into Petri nets. Specific firing sequences of these nets are then interpreted as the modules’ processes. Since the language has been applied to both production and business processes in the past, it could be a means to integrate planning and production processes. The paper discusses the canonical building rules and the verification techniques with the aid of an example.» weiterlesen» einklappen
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik
