SCOPUS 정보 검색 플랫폼

International Journal of Computer Integrated Manufacturing

Volumn 15, Issue 3, 2002, Pages 242-264

A knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controllers

(3) Zha, X F a Li, L L a Zhang, W J a

a NANYANG TECHNOLOGICAL UNIVERSITY (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; PETRI NETS; PROBLEM SOLVING; PRODUCTION CONTROL; PROGRAMMABLE LOGIC CONTROLLERS;

KNOWLEDGE PETRI NETS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0036573944 PISSN: 0951192X EISSN: None Source Type: Journal
DOI: 10.1080/09511920110059070 Document Type: Article

Times cited : (10)

References (48)

1
- 0002753852
- PSI: A Petri net based simulator for flexible manufacturing systems, advances in Petri net 1984
- edited by G. Rozenberg, NY: (New York: Springer-Verlag)
- (1984) Lecture Notes in Computer Science , vol.188 , pp. 1-14
- Alanche, P.¹

2
- 0025623508
- Performance evaluation of automated manufacturing systems using generlized stochastic Petri nets
- (1990) IEEE Trans. on robotics and automation , vol.6 , Issue.6 , pp. 621-639
- Al-Harr, R.Y.¹ Desrochers, A.A.²

3
- 0002753854
- Modelling and validation of complex systems by colored Petri nets application to a flexible manufacturing system, advances in Petri net 1984
- edited by G. Rozenberg, (New York: Springer-Verlag)
- (1984) Lecture Notes in Computer Science , vol.188 , pp. 15-31
- Alla, H.¹ Ladet, P.² Martinez, J.³ Silva Suarez, M.⁴

4
- 0003560262
- Springer
- (1996) Performance Analysis of Manufacturing Systems
- Altiok, T.¹

5
- 0003980337
- edited by F. Archetti (Springer-Verlag)
- (1989) Operations Research Models: In Flexible Manufacturing Systems
- Archetti, F.¹ Lucertini, M.² Serafini, P.³

6
- 0022583986
- Models for simulation and discrete control of manufacturing systems
- March, San Francisco
- (1986) IEEE Conf. on Robotics and Automation , pp. 305-310
- Beck, C.L.¹

7
- 0025624086
- An approach to the design and implementation of the hierarchical control system of FMS, combining structured knowledge representation formalisms and high-level Petri nets
- Cincinnati, OH
- (1990) Proceeding of 1990 IEEE International Conference on Robotics and Automation , pp. 520-525
- Camurri, A.¹ Franchi, P.²

8
- 0029206310
- On assembly sequence planning using Petri nets
- (1995) Proceedings of the IEEE International Symposium on Assembly and Task Planning , pp. 239-244
- Caselli, S.¹ Zanichelli, F.²

9
- 0002255191
- Developing manufacturing control software: A survey and critique
- (1993) The Int. J. of Flexible Manufacturing Systems , vol.5 , pp. 53-88
- Chaar, J.K.¹

10
- 0020824577
- Timing requirements for time-driven systems using augmented Petri nets
- (1983) IEEE Trans. On Software Engineering , vol.SE-9 , Issue.5 , pp. 603-616
- Coolahan, J.J.E.¹ Roussopoulos, N.²

11
- 0023211769
- Implementation of a Petri net controller for a machining workstation
- (1987) IEEE Int. Con. on Robotics and Automation , pp. 1861-1867
- Crockett, D.¹ Desrochers, A.² Dicesare, F.³ Ward, T.⁴

12
- 0011773062
- edited by J.C. Gentina and S.G. Tzafestas (Elsevier Science)
- (1992) Petri Net as a Specification Language for Manufacturing Systems, Robotics and Flexible Manufacturing Systems , pp. 427-436
- Ezpeleta, J.¹ Martinez, J.²

13
- 0003417704
- JESS
- (1999) The Java Expert System Shell
- Freidman-Hill, E.J.¹

14
- 0023271140
- Colored adaptive structured Petri net: A tool for automatic synthesis of hierarchical control of flexible manufacturing system
- (1987) IEEE Conf. on Robotics and Automation , pp. 1166-1173
- Gentina, J.C.¹

15
- 0021835441
- Modelling production rules by means of predicate transition networks
- (1985) Information Sciences , vol.35 , pp. 1-41
- Giordana, A.¹ Saitta, L.²

16
- 0027308051
- A review of synthesis technology for Petri nets with applications to automation manufacturing systems
- (1993) IEEE Trans. on Man and Cybernetics , vol.23 , Issue.1 , pp. 301-312
- Jeng, M.D.¹

17
- 0029342702
- Modular synthesis of Petri nets for modelling flexible manufacturing system
- (1995) The Int. J. of Flexible Manufacturing Systems , vol.7 , pp. 287-310
- Jeng, M.D.¹

18
- 21544454229
- High level Petri nets, application and theory of Petri nets
- Springer
- (1983) Informatik Fachberichte , vol.66
- Jensen, K.¹

19
- 0022597975
- Applications of Petri net based models in the modelling and analysis of flexible manufacturing systems
- San Francisco
- (1986) IEEE Con. on Robotics and Automation , pp. 312-317
- Kamath, M.¹ Viswanadham, N.²

20
- 0009370156
- Real time of multilevel manufacturing systems using Petri nets
- (1998) IEEE Conf. on Robotics and Automation , pp. 1114-1119
- Kastura, E.¹

21
- 0023773808
- Automated generation and evaluation of control programs for discrete manufacturing processes
- May 23-25, New York
- (1988) The Proc. of 1988, Int. Conf. On Computer Integrated Manufacturing , pp. 92-99
- Krogh, B.H.¹ Willson, R.² Pathak, D.³

22
- 0028413979
- Scheduling flexible manufacturing system using Petri nets and heuristic search
- (1994) IEEE Trans. on Robotics and Automation , vol.10 , Issue.2 , pp. 123-132
- Lee, D.Y.¹

23
- 0021892420
- Hierarchical reduction method for analysis and decomposition of Petri nets
- (1985) IEEE Transactions on Systems, Man, and Cybernetics , vol.15 , Issue.2 , pp. 272-280
- Lee, K.H.¹ Favrel, J.²

24
- 0023314258
- Safety analysis using Petri nets
- (1987) IEEE Trans. on Software Engineering , vol.SE-13 , Issue.3 , pp. 386-397
- Leveson, N.G.¹ Stolzy, J.²

25
- 0023214085
- Modelling, validation and software implementation of production system high level Petri nets
- Raleigh
- (1987) IEEE Con. on Robotics and Automation , pp. 1180-1185
- Martinez, J.¹ Muro, P.² Silva, M.³

26
- 0030290327
- Petri net models of flexible and automated manufacturing systems: A survey
- (1996) International Journal of Production Research , vol.34 , Issue.11 , pp. 161-170
- Moore, K.E.¹ Gupta, S.M.²

27
- 0022667879
- A Petri net-based controller for flexible and maintainable sequence control and its application in factory automation
- (1986) Trans. Industrial Electronics , vol.IE-33 , Issue.1 , pp. 1-8
- Murata, T.¹ Komoda, N.² Matsumoto, K.³ Huruna, K.⁴

28
- 0023326135
- A predicate-transition net model for parallel interpretation of logic programs
- (1988) IEEE Trans. on Software Engineering , vol.14 , Issue.4 , pp. 481-497
- Murata, T.¹ Zhang, D.²

29
- 0024645936
- Petri nets: Properties, analysis and applications
- (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
- Murata, T.¹

30
- 0003078401
- A rule-Petri net integrated approach for modelling and analysis of manufacturing systems
- edited by J.C. Gentina and S.G. Tzafestas, (Elsevier Science)
- (1992) Robotics and Flexible Manufacturing Systems , pp. 349-358
- Muro-Medrano, P.R.¹ Ezpeleta, J.² Villarrod, J.L.³

31
- 0000604895
- edited by J.C. Gentina and S.G. Tzafestas (Elsevier Science)
- (1992) Petri net based programming system for FMS, robotics and flexible manufacturing systems , pp. 295-304
- Nagao, Y.¹ Ohta, H.² Urabe, H.³ Matsubra, S.⁴

32
- 0003418449
- Prentice-Hall
- (1981) Petri Net Theory and the modelling of Systems
- Peterson, J.L.¹

33
- 0002624745
- Decision support in flexible manufacturing systems using timed Petri net
- (1986) Journal of Manufacturing Systems , vol.5 , Issue.2 , pp. 89-102
- Ravichandran, R.¹ Chakravarty, A.K.²

34
- 0011785741
- edited by J.C. Gentina and S.G. Tzafestas (Elsevier Science)
- (1992) Operation checking in flexible manufacturing systems, robotics and flexible manufacturing systems , pp. 305-314
- Roux, G.B.¹ Descotes, G.² Ladet, P.³

35
- 0003850223
- Elsevier
- (1994) Advances in Manufacturing Systems: Design, Modelling and Analysis
- Sodhi, R.S.¹ Zhou, M.C.² Das, S.³

36
- 0022320437
- Putting Petri nets to work for controlling flexible manufacturing systems
- Kyoto, Japan
- (1985) Proc. IEEE Int. Sympo. On Circuits and Systems , pp. 929-932
- Valette, R.¹ Courvoisier, M.² Demmou, H.³ Bigou, J.M.⁴ Desclaux, C.⁵

37
- 0009424839
- (1998) Visual Object NET ++ 2.0

38
- 0001566687
- The development of an improved model of manufacturing system simulation
- Wasaw, June
- (1997) 13th International Conference, Computer-Aided Production Engineering , pp. 401-408
- Wainwirght, C.E.R.¹ Thethi, A.J.S.²

39
- 34249965806
- Modelling FMS with decision Petri nets
- (1990) International Journal of Flexible Manufacturing Systems , Issue.1 , pp. 253-280
- Wadhwa, S.¹ Browne, J.²

40
- 0025263587
- Petri net tools for the specification and analysis of discrete controllers
- (1990) IEEE Transactions on Software Engineering , vol.16 , Issue.1 , pp. 39-50
- Willson, R.G.¹ Krogh, B.H.²

41
- 0032093824
- Integrated knowledge-based Petri net intelligent flexible assembly planning
- (1998) Journal of Intelligent Manufacturing , vol.9 , Issue.3 , pp. 235-250
- Zha, X.F.¹ Lim, S.Y.E.² Fok, S.C.³

42
- 0031700901
- Integrated knowledge-based assembly sequence planning
- (1998) International Journal of Advanced Manufacturing Technology , vol.14 , Issue.3 , pp. 50-64
- Zha, X.F.¹ Lim, Y.E.² Fok, S.C.³

43
- 0031619736
- Integration of knowledge-based systems and neural networks: Neuroexpert Petri net models and applications
- Belgium
- (1998) Proceedings of the 1998 IEEE International Conference on Robotics and Automation , pp. 1423-1428
- Zha, X.F.¹ Lim, S.Y.E.² Fok, S.C.³

44
- 18744373858
- A generic Petri net model for flexible manufacturing systems and its use for FMS control software testing
- (2000) International Journal of Production Research , vol.38 , Issue.5 , pp. 1109-1131
- Zhang, W.J.¹ Bi, Z.M.² Li, Q.³ Zha, X.F.⁴

45
- 0024861887
- A top-down approach to systematic synthesis of Petri nets models for manufacturing systems
- Scottsdale
- (1989) Proc. IEEE on Robotics and Auto. , pp. 534-539
- Zhou, M.C.¹

46
- 0026882077
- A hybrid methodology for synthesis of Petri nets for manufacturing systems
- (1992) IEEE Transactions on Robotics and Automation , vol.8 , Issue.3 , pp. 350-361
- Zhou, M.C.¹ DiCesare, F.² Desrochers, A.A.³

47
- 0027560257
- Petri nets synthesis and analysis of a flexible manufacturing system cell
- (1993) IEEE Transactions on System, Man, and Cybernetics , vol.23 , Issue.2 , pp. 523-531
- Zhou, M.C.¹ McDermott, K.² Patel, P.A.³

48
- 0002200051
- Modelling and verification of FMS using Petri nets
- Elsevier
- (1993) Modern Tools for Manufacturing Systems , pp. 237-161
- Zurawski, R.¹ Dillon, S.T.²

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