Modellvalidierung von zeitbegrenzten logistischen Prozessketten mit Interval Timed Coloured Petri Nets
Modellvalidierung von zeitbegrenzten logistischen Prozessketten mit Interval Timed Coloured Petri Nets
复制标题
间隔定时彩色 Petri 网的时间物流过程模型验证
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Sebastian Vastag
中科院分区：
文献类型：
--
作者：
Sebastian Vastag
物流技术中的现代物流技术与物流集成信息系统中的物流技术。《新时代周刊》（the new zeitliche Aspekt）在《新时代》（the new zeitliche Aspekt）中诞生了《新时代》（modelerstellung），在《新时代》（modelerzuingen）中诞生了《新时代》（modelerstellung）。数值模拟分析了激光激光对激光辐射的影响。[2][1][2][3][1][2][1][3][1][3][1][3][1][1][1][1][1][1][1]。
Durch Zeitrestriktionen in logistischen Prozesskettenmodellen wird die Spezifikation der Anforderungen an Dienstleistungen oder in Transportketten integrierte Informationssysteme vereinfacht. Der neue zeitliche Aspekt birgt bei Modellerstellung auch die Gefahr, unbemerkt strukturelle Fehler in das Modell zu bringen. Eine simulative Analyse garantiert nicht die Erkennung dieser Fehler. Es wird ein Ansatz basierend auf Interval Timed Coloured Petri Nets vorgestellt, der Modellierungsfehler in zeitbegrenzten logistischen Prozesskettenmodellen durch Modellvalidierung erkennen lässt.