Formal modelling of supply chain: An incremental approach using Petri nets

被引：0

作者：

Van Landeghem, R ^{[1
]}

Bobeanu, CV ^{[1
]}

机构：

[1] Univ Ghent, Dept Ind Management, B-9052 Ghent, Belgium

来源：

SIMULATION IN INDUSTRY | 2002年

关键词：

supply; chain management; structural modelling; Petri nets; experimental frame;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

In this paper the authors propose an implementation of an incremental approach to modelling discrete event systems at the structural level of systems specification.. Using the well-known example of the Beer Game, a systematic method supporting the bottom-up construction of re-usable models of supply chains in the Petri nets domain together with their associated experimental frames is presented. The construction adheres to well-defined rules, which would enable computer-based model generation.

引用

页码：323 / 327

页数：5

共 50 条

[1] Supply chain workflow modelling using XML-formatted modular petri nets
Fung, RYK
Au, YM
Jiang, ZB
Lau, HCW
[J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2003, 22 (7-8): : 587 - 601
[2] Supply chain modelling and managing, using timed coloured Petri nets: a case study
Mazzuto, Giovanni
Bevilacqua, Maurizio
Ciarapica, Filippo Emanuele
[J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2012, 50 (16) : 4718 - 4733
[3] Supply chain workflow modelling using XML-formatted modular petri nets
R. Y. K. Fung
Y. M. Au
Z. B. Jiang
Henry C. W. Lau
[J]. The International Journal of Advanced Manufacturing Technology, 2003, 22 : 587 - 601
[4] Supply chain workflow modelling using XML-formatted modular petri nets
[J]. Jiang, Z.B. (zbjiang@mail.sjtu.edu.cn), 1600, Springer-Verlag London Ltd (22): : 7 - 8
[5] Modelling of a multi-agent supply chain management system using Colored Petri Nets
Fierro, Luis H.
Cano, Ruth E.
Garcia, Jose I.
[J]. INTERNATIONAL CONFERENCE ON INDUSTRY 4.0 AND SMART MANUFACTURING (ISM 2019), 2020, 42 : 288 - 295
[6] Formal modelling and simulation of train control systems using Petri nets
Hörste, MMZ
Schnieder, E
[J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1867 - 1867
[7] An Idea for Modelling Exogenous Shocks on Supply Networks Using Petri Nets
Fridgen, Gilbert
Stepanek, Christian
Wolf, Thomas
[J]. 13TH IEEE INTERNATIONAL CONFERENCE ON COMMERCE AND ENTERPRISE COMPUTING (CEC 2011), 2011, : 415 - 417
[8] A modelling approach with coloured Petri nets
Choppy, Christine
Petrucci, Laure
Reggio, Gianna
[J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 73 - +
[9] A formal approach for the modelling and verification of multiagent plans based on model checking and Petri nets
de Almeida, HO
da Silva, LD
Perkusich, A
Casto, ED
[J]. SOFTWARE ENGINEERING FOR MULTI-AGENT SYSTEMS III: RESEARCH ISSUES AND PRACTICAL APPLICATIONS, 2004, 3390 : 162 - 179
[10] Modeling Supply Chains Using Colored Petri Nets: Application in A Phosphate Supply Chain
Yassine, Azougagh
Khalid, Benhida
Said, Elfezazi
[J]. JOURNAL OF MECHANICS OF CONTINUA AND MATHEMATICAL SCIENCES, 2019, : 266 - 276

← 1 2 3 4 5 →