메뉴 건너뛰기




Volumn 39, Issue 2, 2001, Pages 225-253

A Petri net based design engine for manufacturing systems

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; PLANNING; RANDOM PROCESSES;

EID: 0035916071     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207540010004287     Document Type: Article
Times cited : (25)

References (38)
  • 1
    • 0005439729 scopus 로고
    • Stochastic Petri nets: An elementary introduction
    • edited by G. Rozenberg (Heidelberg: Springer Verlag)
    • Ajmone Marsan, M., 1990, Stochastic Petri nets: an elementary introduction. In Advances in Petri Nets 1989, Lecture Notes in Computer Science, Vol. 424, edited by G. Rozenberg (Heidelberg: Springer Verlag), pp. 1-29.
    • (1990) Advances in Petri Nets 1989, Lecture Notes in Computer Science , vol.424 , pp. 1-29
    • Ajmone Marsan, M.1
  • 2
    • 84976753721 scopus 로고
    • A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
    • Ajmone Marsan, M., Balbo, G. and Conte, G., 1984, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 2, 93-122.
    • (1984) ACM Transactions on Computer Systems , vol.2 , pp. 93-122
    • Ajmone Marsan, M.1    Balbo, G.2    Conte, G.3
  • 3
    • 0003206544 scopus 로고
    • Petri nets in automation and manufacturing
    • edited by G. N. Saridis (New York: JAI Press)
    • Al-Jaar, R. Y. and Desrochers, A. A., 1990, Petri nets in automation and manufacturing. In Advances in Automation and Robotics, Vol. 2, edited by G. N. Saridis (New York: JAI Press).
    • (1990) Advances in Automation and Robotics , vol.2
    • Al-Jaar, R.Y.1    Desrochers, A.A.2
  • 6
    • 0028465894 scopus 로고
    • A characterization of the stochastic process underlying a stochastic Petri net
    • Ciardo, G., German, R. and Lindemann, C., 1994, A characterization of the stochastic process underlying a stochastic Petri net. IEEE Transactions on Software Engineering, 20, 506-515.
    • (1994) IEEE Transactions on Software Engineering , vol.20 , pp. 506-515
    • Ciardo, G.1    German, R.2    Lindemann, C.3
  • 7
    • 0001896749 scopus 로고
    • Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows
    • edited by G. Rozenberg (Heidelberg: Springer-Verlag)
    • Colom, J. M. and Silva, M., 1991, Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. In Advances in Petri Nets 1990, Lecture Notes in Computer Science, Vol. 483, edited by G. Rozenberg (Heidelberg: Springer-Verlag), pp. 79-112.
    • (1991) Advances in Petri Nets 1990, Lecture Notes in Computer Science , vol.483 , pp. 79-112
    • Colom, J.M.1    Silva, M.2
  • 8
    • 0029373108 scopus 로고
    • GRAFCET-a powerful tool for specification of logic controllers
    • David, R., 1995, GRAFCET-a powerful tool for specification of logic controllers. IEEE Transactions on Control Systems Technology, 3, 253-268.
    • (1995) IEEE Transactions on Control Systems Technology , vol.3 , pp. 253-268
    • David, R.1
  • 10
  • 11
    • 0010910287 scopus 로고
    • A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets
    • edited by G. Rozenberg (Heidelberg: Springer-Verlag)
    • Ezpeleta, J., Couvreur, J. M. and Silva, M., 1993, A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets. In Advances in Petri Nets 1993, Lecture Notes in Computer Science, Vol. 674, edited by G. Rozenberg) (Heidelberg: Springer-Verlag), pp. 126-147.
    • (1993) Advances in Petri Nets 1993, Lecture Notes in Computer Science , vol.674 , pp. 126-147
    • Ezpeleta, J.1    Couvreur, J.M.2    Silva, M.3
  • 12
    • 0010851595 scopus 로고
    • An approach for modelling, analysis and real-time control of flexible manufacturing systems using Petri nets
    • (Erlangen: The Society for Computer Simulation Internation (SCS))
    • Feldmann, K., Colombo, W. and Schnur, C., 1995, An approach for modelling, analysis and real-time control of flexible manufacturing systems using Petri nets. Proceedings of the European Simulation Symposium, Erlangen-Nürnberg (Erlangen: The Society for Computer Simulation Internation (SCS)), pp. 661-665.
    • (1995) Proceedings of the European Simulation Symposium, Erlangen-Nürnberg , pp. 661-665
    • Feldmann, K.1    Colombo, W.2    Schnur, C.3
  • 14
    • 0010843657 scopus 로고
    • Analysis of stochastic Petri nets with non-exponentially distributed firing times
    • Dissertation, Technische Universität Berlin
    • German, R., 1994, Analysis of stochastic Petri nets with non-exponentially distributed firing times. Dissertation, Technische Universität Berlin.
    • (1994)
    • German, R.1
  • 15
    • 0010916430 scopus 로고
    • TimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets
    • German, R., Kelling, C., Zimmermann, A. and Hommel, G., 1995, TimeNET-A toolkit for evaluating non-Markovian stochastic Petri nets. Performance Evaluation, 24, 69-87.
    • (1995) Performance Evaluation , vol.24 , pp. 69-87
    • German, R.1    Kelling, C.2    Zimmermann, A.3    Hommel, G.4
  • 16
    • 0010910507 scopus 로고    scopus 로고
    • Petri net based system analysis without state explosion
    • (Boston, MA: SCS)
    • Heiner, M., 1998, Petri net based system analysis without state explosion. Proceedings of High Performance Computing '98 (Boston, MA: SCS), pp. 394-403.
    • (1998) Proceedings of High Performance Computing '98 , pp. 394-403
    • Heiner, M.1
  • 19
    • 0010842553 scopus 로고    scopus 로고
    • Convex geometry applied to Petri nets: State space size estimation and calculation of traps, siphons, and invariants
    • Technical Report 2000-6, Technische Universität Berlin
    • Huck, A., Freiheit, J. and Zimmermann, A., 2000, Convex geometry applied to Petri nets: state space size estimation and calculation of traps, siphons, and invariants. Technical Report 2000-6, Technische Universität Berlin.
    • (2000)
    • Huck, A.1    Freiheit, J.2    Zimmermann, A.3
  • 22
    • 0010778325 scopus 로고
    • Simulationsverfahren für zeiterweiterte Petri-Netze
    • Dissertation, Technische Universität Berlin (Erlangen: The Society for Computer Simulation International)
    • Kelling, C., 1995, Simulationsverfahren für zeiterweiterte Petri-Netze. Dissertation, Technische Universität Berlin (Erlangen: The Society for Computer Simulation International).
    • (1995)
    • Kelling, C.1
  • 24
    • 0021557362 scopus 로고
    • A language for the description of concurrent systems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems
    • Martínez, J. and Silva, M., 1984, A language for the description of concurrent systems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems. Proceedings of the 1984 IEEE Workshop on Languages for Automation, New Orleans, pp. 72-77.
    • (1984) Proceedings of the 1984 IEEE Workshop on Languages for Automation, New Orleans , pp. 72-77
    • Martínez, J.1    Silva, M.2
  • 26
    • 0029695524 scopus 로고    scopus 로고
    • State machine reduction for the approximate performance evaluation of manufacturing systems modelled with cooperating sequential processes
    • (Piscataway, NJ: IEEE)
    • Pérez-Jiménez, C. J., Campos, J. and Silva, M., 1996, State machine reduction for the approximate performance evaluation of manufacturing systems modelled with cooperating sequential processes. 1996 IEEE International Conference on Robotics and Automation, Minneapolis, Minnesota (Piscataway, NJ: IEEE), pp. 1159-1165.
    • (1996) 1996 IEEE International Conference on Robotics and Automation, Minneapolis, Minnesota , pp. 1159-1165
    • Pérez-Jiménez, C.J.1    Campos, J.2    Silva, M.3
  • 27
    • 0031380765 scopus 로고    scopus 로고
    • Petri nets for the design and operation of manufacturing systems
    • Silva, M. and Teruel, E., 1997, Petri nets for the design and operation of manufacturing systems. European Journal of Control, 3, 182-199.
    • (1997) European Journal of Control , vol.3 , pp. 182-199
    • Silva, M.1    Teruel, E.2
  • 28
    • 0001153857 scopus 로고
    • Petri nets and flexible manufacturing
    • edited by G. Rozenberg (Heidelberg: Springer Verlag, 1989)
    • Silva, M. and Valette, R., 1989, Petri nets and flexible manufacturing. In Advances in Petri Nets 1989, Lecture Notes in Computer Science, Vol. 424, edited by G. Rozenberg (Heidelberg: Springer Verlag, 1989), 374-417.
    • (1989) Advances in Petri Nets 1989, Lecture Notes in Computer Science , vol.424 , pp. 374-417
    • Silva, M.1    Valette, R.2
  • 29
    • 0010844099 scopus 로고
    • GRAMAN: A graphic system for manufacturing system design
    • edited by S. Tzafestas (Amsterdam: Elsevier)
    • Villaroel, J. L., Martínez, J. and Silva M., 1989, GRAMAN: a graphic system for manufacturing system design. IMACS Symposium on System Modelling and Simulation, edited by S. Tzafestas (Amsterdam: Elsevier), pp. 311-316.
    • (1989) IMACS Symposium on System Modelling and Simulation , pp. 311-316
    • Villaroel, J.L.1    Martínez, J.2    Silva, M.3
  • 31
    • 0010775862 scopus 로고    scopus 로고
    • Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen
    • Dissertation, Technische Universität Berlin
    • Zimmermann, A., 1997, Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen. Dissertation, Technische Universität Berlin.
    • (1997)
    • Zimmermann, A.1


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