메뉴 건너뛰기




Volumn 16, Issue 1, 2005, Pages 67-92

Modular Petri Net based modeling, analysis, synthesis and performance evaluation of random topology dedicated production systems

Author keywords

Assembly; Dedicated production systems; Disassembly; Modular Petri Nets; Nodes complexity; P invariants; Parallel machines; Production line

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; COMPUTER WORKSTATIONS; CONTROL EQUIPMENT; FUZZY SETS; MATHEMATICAL MODELS; TOPOLOGY;

EID: 14844340889     PISSN: 09565515     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10845-005-4825-5     Document Type: Article
Times cited : (23)

References (50)
  • 1
    • 0032138964 scopus 로고    scopus 로고
    • Modeling and simulation of an electronic component manufacturing system using hybrid Petri Nets
    • 3
    • M. Allam H. Alla 1998 Modeling and simulation of an electronic component manufacturing system using hybrid Petri Nets IEEE Transactions on Semiconductor Manufacturing 11 3 374 383
    • (1998) IEEE Transactions on Semiconductor Manufacturing , vol.11 , pp. 374-383
    • Allam, M.1    Alla, H.2
  • 2
    • 0022667867 scopus 로고
    • Optimal control of production rate in a failure prone manufacturing system
    • R. Akella P. R. Kumar 1986 Optimal control of production rate in a failure prone manufacturing system IEEE Transactions on Automatic Control 31 116 126
    • (1986) IEEE Transactions on Automatic Control , vol.31 , pp. 116-126
    • Akella, R.1    Kumar, P.R.2
  • 3
    • 14844359670 scopus 로고    scopus 로고
    • HPSIM
    • Anschuetz, Henryk (2001) HPSIM, http://home.t-online.de/home/henryk.a/ petrinet/e/hpsim_e.htm
    • (2001)
    • Anschuetz, H.1
  • 5
    • 0025532680 scopus 로고
    • Scheduling manufacturing systems with work-in-process inventory control: Formulation of single part type systems
    • Bai, S. X. and Gershwin, S. B. (1990) Scheduling manufacturing systems with work-in-process inventory control: formulation of single part type systems. in Proceedings of the 29th IEEE CDC, pp 557-564
    • (1990) Proceedings of the 29th IEEE CDC , pp. 557-564
    • Bai, S.X.1    Gershwin, S.B.2
  • 6
    • 0028374441 scopus 로고
    • Scheduling manufacturing systems with work-in-process inventory control: Multiple-part-type systems
    • S. X. Bai S. B. Gershwin 1994 Scheduling manufacturing systems with work-in-process inventory control: multiple-part-type systems International Journal of Production Research 32 365 386
    • (1994) International Journal of Production Research , vol.32 , pp. 365-386
    • Bai, S.X.1    Gershwin, S.B.2
  • 7
    • 14844362906 scopus 로고    scopus 로고
    • VHS case study 5: Semantics of Timed Petri nets, equivalence and model reduction
    • Systems Group University Ghent
    • Boel, R. and Stremersch, G. (1999) VHS Case Study 5: Semantics of Timed Petri nets, equivalence and model reduction, Technical Report for VHS (Verification of Hybrid Systems), Systems Group University Ghent
    • (1999) Technical Report for VHS (Verification of Hybrid Systems)
    • Boel, R.1    Stremersch, G.2
  • 14
    • 0035250688 scopus 로고    scopus 로고
    • Process modelling and analysis of manufacturing supply chain networks using object-oriented Petri nets
    • M. Domg F. F. Chen 2001 Process modelling and analysis of manufacturing supply chain networks using object-oriented Petri nets Robotics and Computer Integrated Manufacturing 17 121 129
    • (2001) Robotics and Computer Integrated Manufacturing , vol.17 , pp. 121-129
    • Domg, M.1    Chen, F.F.2
  • 15
    • 0030212569 scopus 로고    scopus 로고
    • Modularised, distributed real-time control of flexible production cells, using petri nets
    • 8
    • K. Feldmann C. Schnur W. Colombo 1996 Modularised, distributed real-time control of flexible production cells, using petri nets Control Engineering Practice 4 8 1067 1078
    • (1996) Control Engineering Practice , vol.4 , pp. 1067-1078
    • Feldmann, K.1    Schnur, C.2    Colombo, W.3
  • 16
    • 0033900264 scopus 로고    scopus 로고
    • Assembly line sequencing based on Petri-net T-invariants
    • G. Frey 2000 Assembly line sequencing based on Petri-net T-invariants Control Engineering Practice 8 63 69
    • (2000) Control Engineering Practice , vol.8 , pp. 63-69
    • Frey, G.1
  • 18
    • 0034288452 scopus 로고    scopus 로고
    • Design and operation of manufacturing systems: The control-point policy
    • S. B. Gershwin 2000 Design and operation of manufacturing systems: the control-point policy IIE Transactions 32 891 906
    • (2000) IIE Transactions , vol.32 , pp. 891-906
    • Gershwin, S.B.1
  • 19
    • 0036132020 scopus 로고    scopus 로고
    • A survey of Petri net applications in batch processes
    • T. Gu P. Bahri 2002 A survey of Petri net applications in batch processes Computers in Industry 47 99 111
    • (2002) Computers in Industry , vol.47 , pp. 99-111
    • Gu, T.1    Bahri, P.2
  • 20
    • 14844367043 scopus 로고    scopus 로고
    • Supervisory control of multiple-part-type production networks
    • 10th IEEE Mediterranean Conference on Control and Automation, Lisbon, Portugal
    • Ioannidis, S., Tsourveloudis, N. and Valavanis, K. (2002) Supervisory control of multiple-part-type production networks, CD-ROM Proceedings, 10th IEEE Mediterranean Conference on Control and Automation, Lisbon, Portugal
    • (2002) CD-ROM Proceedings
    • Ioannidis, S.1    Tsourveloudis, N.2    Valavanis, K.3
  • 21
    • 0037080232 scopus 로고    scopus 로고
    • Petri net models applied to analyze automatic sequential pressing syst ems
    • Wern-Kueir. Jehng 2002 Petri net models applied to analyze automatic sequential pressing syst ems Journal of Materials Processing Technology 120 115 125
    • (2002) Journal of Materials Processing Technology , vol.120 , pp. 115-125
    • Jehng, W.-K.1
  • 22
    • 0035485521 scopus 로고    scopus 로고
    • Modeling and analysis of Semiconductor Manufacturing Systems with Degraded Behaviour Using Petri Nets and Siphons
    • 5
    • M. D. Jeng X. Xie 2001 Modeling and analysis of Semiconductor Manufacturing Systems with Degraded Behaviour Using Petri Nets and Siphons IEEE Transactions on Robotics and Automation 17(5)
    • (2001) IEEE Transactions on Robotics and Automation , vol.17
    • Jeng, M.D.1    Xie, X.2
  • 23
    • 0000204625 scopus 로고
    • A Simple and fast algorithm to obtain all invariants of generalized Petri net
    • J. Martinez M. Silva 1982 A Simple and fast algorithm to obtain all invariants of generalized Petri net Application and Theory of Petri Nets 52 301 311
    • (1982) Application and Theory of Petri Nets , vol.52 , pp. 301-311
    • Martinez, J.1    Silva, M.2
  • 24
    • 0036838835 scopus 로고    scopus 로고
    • Analysis of discrete event systems by simulation of timed Petri net models
    • E. L. Mellado 2002 Analysis of discrete event systems by simulation of timed Petri net models Mathematics and Computers in Simulation 61 53 59
    • (2002) Mathematics and Computers in Simulation , vol.61 , pp. 53-59
    • Mellado, E.L.1
  • 26
    • 0024645936 scopus 로고
    • Petri Nets: Properties, analysis and applications
    • 4
    • T. Murata 1989 Petri Nets: properties, analysis and applications Proceedings of the IEEE 77 4 541 580
    • (1989) Proceedings of the IEEE , vol.77 , pp. 541-580
    • Murata, T.1
  • 27
    • 0035837620 scopus 로고    scopus 로고
    • Rapid and modular prototyping-based Petri nets and distributed simulation for manufacturing systems
    • A. Nketsa R. Valette 2001 Rapid and modular prototyping-based Petri nets and distributed simulation for manufacturing systems Applied Mathematics and Computation 120 265 278
    • (2001) Applied Mathematics and Computation , vol.120 , pp. 265-278
    • Nketsa, A.1    Valette, R.2
  • 29
    • 0012667930 scopus 로고    scopus 로고
    • Scheduling of piecewise constant product flows: A Petri net approach
    • J.M. Proth N. Sauer 1998 Scheduling of piecewise constant product flows: a Petri net approach European Journal of Operational Research 106 45 56
    • (1998) European Journal of Operational Research , vol.106 , pp. 45-56
    • Proth, J.M.1    Sauer, N.2
  • 33
  • 34
    • 0034508872 scopus 로고    scopus 로고
    • Modular representation of complex hybrid systems: Application to the simulation of batch processes
    • 5
    • L. Thevenon J. M. Flaus 2000 Modular representation of complex hybrid systems: application to the simulation of batch processes Simulation Practice and Theory 8 5 283 306
    • (2000) Simulation Practice and Theory , vol.8 , pp. 283-306
    • Thevenon, L.1    Flaus, J.M.2
  • 35
    • 0030129119 scopus 로고    scopus 로고
    • A hierarchical Petri Net framework for the representation and analysis of assembly
    • 2
    • J. Thomas N. Nissanke K. Baker 1996 A hierarchical Petri Net framework for the representation and analysis of assembly IEEE Transactions on Robotics and Automation 12 2 248 279
    • (1996) IEEE Transactions on Robotics and Automation , vol.12 , pp. 248-279
    • Thomas, J.1    Nissanke, N.2    Baker, K.3
  • 38
    • 0344858917 scopus 로고    scopus 로고
    • Fuzzy work-in-process inventory control of unreliable manufacturing systems
    • N. Tsourveloudis E. Dretoulakis S. Ioannidis 2000 Fuzzy work-in-process inventory control of unreliable manufacturing systems Information Sciences 27 69 83
    • (2000) Information Sciences , vol.27 , pp. 69-83
    • Tsourveloudis, N.1    Dretoulakis, E.2    Ioannidis, S.3
  • 39
    • 0025226799 scopus 로고
    • On the Hierarchical Modeling Analysis and Simulation of Flexible Manufacturing Systems with Extended Petri Nets
    • 1
    • K. Valavanis 1990 On the Hierarchical Modeling Analysis and Simulation of Flexible Manufacturing Systems with Extended Petri Nets IEEE Transactions on Systems, Man and Cybernetics 20 1 23 23
    • (1990) IEEE Transactions on Systems, Man and Cybernetics , vol.20 , pp. 23-23
    • Valavanis, K.1
  • 42
    • 0029207521 scopus 로고
    • Real-time Petri nets for modelling controlling and simulation of local area networks in flexible manufacturing systems
    • 2
    • K. Venkatesh M. Ilyas 1995 Real-time Petri nets for modelling controlling and simulation of local area networks in flexible manufacturing systems Computers in Engineering 28 2 147 162
    • (1995) Computers in Engineering , vol.28 , pp. 147-162
    • Venkatesh, K.1    Ilyas, M.2
  • 43
    • 0030148551 scopus 로고    scopus 로고
    • Object-oriented Petri nets for modeling and analysis of automated manufacturing systems
    • 2
    • L. C. Wang 1996 Object-oriented Petri nets for modeling and analysis of automated manufacturing systems Computer Integrated Manufacturing Systems 26 2 111 125
    • (1996) Computer Integrated Manufacturing Systems , vol.26 , pp. 111-125
    • Wang, L.C.1
  • 44
    • 0032044735 scopus 로고    scopus 로고
    • Modeling with colored timed object-oriented petri nets for automated manufacturing systems
    • 2
    • L. C. Wang S. Y. Wu 1998 Modeling with colored timed object-oriented petri nets for automated manufacturing systems Computers in Engineering 34 2 463 480
    • (1998) Computers in Engineering , vol.34 , pp. 463-480
    • Wang, L.C.1    Wu, S.Y.2
  • 46
    • 0032094459 scopus 로고    scopus 로고
    • Automated construction of GSPN models for flexible manufacturing systems
    • Y. Xue R. M. Kieckhafer F. F. Choobineh 1998 Automated construction of GSPN models for flexible manufacturing systems Computers in Industry 37 17 25
    • (1998) Computers in Industry , vol.37 , pp. 17-25
    • Xue, Y.1    Kieckhafer, R.M.2    Choobineh, F.F.3
  • 49
    • 0035485301 scopus 로고    scopus 로고
    • Timed Petri nets in modeling and analysis of cluster tools
    • 5
    • W. Zuberek 2001 Timed Petri nets in modeling and analysis of cluster tools IEEE Transactions on Robotics and Automation 17 5 562 575
    • (2001) IEEE Transactions on Robotics and Automation , vol.17 , pp. 562-575
    • Zuberek, W.1
  • 50
    • 0033149354 scopus 로고    scopus 로고
    • Timed Petri Nets in Modeling and Analysis of Simple Schedules for Manufacturing Cells
    • W. Zuberek W. Kubiak 1999 Timed Petri Nets in Modeling and Analysis of Simple Schedules for Manufacturing Cells Computers and Mathematics with Applications 37 191 206
    • (1999) Computers and Mathematics with Applications , vol.37 , pp. 191-206
    • Zuberek, W.1    Kubiak, W.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.