-
1
-
-
33644700974
-
Scheduling with timed automata
-
Abdeddaim, Y., Asarin, E. and Maler, O., Scheduling with timed automata. Theor. Comput. Sci., 2006, 354, 272-300.
-
(2006)
Theor. Comput. Sci
, vol.354
, pp. 272-300
-
-
Abdeddaim, Y.1
Asarin, E.2
Maler, O.3
-
2
-
-
0030395303
-
Synthesis of coloured Petri nets for FMS task specification
-
Arjona-Suarez, E. and Lopez-Mellado, E., Synthesis of coloured Petri nets for FMS task specification. Int. J. Robot. Autom., 1996, 11, 111-117.
-
(1996)
Int. J. Robot. Autom
, vol.11
, pp. 111-117
-
-
Arjona-Suarez, E.1
Lopez-Mellado, E.2
-
3
-
-
3543106765
-
Modeling and control specification of flexible manufacturing systems using behavioral traces and Petri nets building blocks
-
to appear
-
Basile, F., Chiacchio, P., Mazzocca, N. and Vittorini, V., Modeling and control specification of flexible manufacturing systems using behavioral traces and Petri nets building blocks. J. Intel. Manuf., to appear.
-
J. Intel. Manuf
-
-
Basile, F.1
Chiacchio, P.2
Mazzocca, N.3
Vittorini, V.4
-
4
-
-
0020013653
-
A state-of-the-art survey of dispatching rules for manufacturing job shop operations
-
Blackstone, J.H., Phillips, D.T. and Hogg, G.L., A state-of-the-art survey of dispatching rules for manufacturing job shop operations. Int. J. Prod. Res., 1982, 20, 27-45.
-
(1982)
Int. J. Prod. Res
, vol.20
, pp. 27-45
-
-
Blackstone, J.H.1
Phillips, D.T.2
Hogg, G.L.3
-
5
-
-
0030212629
-
The job shop scheduling problem: Conventional and new solution techniques
-
Błażewicz, J., Domschke, W. and Pesch, E., The job shop scheduling problem: conventional and new solution techniques. Eur. J. Oper. Res., 1996, 93, 1-33.
-
(1996)
Eur. J. Oper. Res
, vol.93
, pp. 1-33
-
-
Błażewicz, J.1
Domschke, W.2
Pesch, E.3
-
6
-
-
0034559461
-
The disjunctive graph machine representation of the job shop scheduling problem
-
Błażewicz, J., Pesch, E. and Sterna, M., The disjunctive graph machine representation of the job shop scheduling problem. Eur. J. Oper. Res., 2000, 127, 317-331.
-
(2000)
Eur. J. Oper. Res
, vol.127
, pp. 317-331
-
-
Błażewicz, J.1
Pesch, E.2
Sterna, M.3
-
7
-
-
0034701845
-
A brief survey and synthesis of the roles of time in Petri nets
-
Bowden, F.D.J., A brief survey and synthesis of the roles of time in Petri nets. Math. Comput. Modell., 2000, 31, 55-68.
-
(2000)
Math. Comput. Modell
, vol.31
, pp. 55-68
-
-
Bowden, F.D.J.1
-
8
-
-
0027640993
-
Petri net based process scheduling: A model of the control system of flexible manufacturing systems
-
Camurri, A., Franchi, P., Gandolfo, F. and Zaccaria, R., Petri net based process scheduling: a model of the control system of flexible manufacturing systems. J. Intell. Robot. Syst., 1993, 8, 99-123.
-
(1993)
J. Intell. Robot. Syst
, vol.8
, pp. 99-123
-
-
Camurri, A.1
Franchi, P.2
Gandolfo, F.3
Zaccaria, R.4
-
9
-
-
0028413489
-
Scheduling products with bills of materials using an improved Lagrangian relaxation technique
-
Czerwinski, C.S. and Luh, P.B., Scheduling products with bills of materials using an improved Lagrangian relaxation technique. IEEE T. Robotic Autom., 1994, 10, 99-111.
-
(1994)
IEEE T. Robotic Autom
, vol.10
, pp. 99-111
-
-
Czerwinski, C.S.1
Luh, P.B.2
-
10
-
-
0030241634
-
Finite capacity scheduling systems: Performance issues and comparisons
-
Enns, S.T., Finite capacity scheduling systems: performance issues and comparisons. Comput. Ind. Eng., 1996, 30, 727-739.
-
(1996)
Comput. Ind. Eng
, vol.30
, pp. 727-739
-
-
Enns, S.T.1
-
11
-
-
0031168484
-
Automatic synthesis of colored Petri nets for the control of FMS
-
Ezpeleta, J. and Colom, J.M., Automatic synthesis of colored Petri nets for the control of FMS. IEEE T. Robotic Autom., 1997, 13, 327-337.
-
(1997)
IEEE T. Robotic Autom
, vol.13
, pp. 327-337
-
-
Ezpeleta, J.1
Colom, J.M.2
-
12
-
-
0036132020
-
A survey of Petri net applications in batch processes
-
Gu, T. and Bahri, P.A., A survey of Petri net applications in batch processes. Comput. Ind., 2002, 47, 99-111.
-
(2002)
Comput. Ind
, vol.47
, pp. 99-111
-
-
Gu, T.1
Bahri, P.A.2
-
13
-
-
2142643718
-
An approach to process producion reactive scheduling
-
Hauptman, B. and Jovan, V., An approach to process producion reactive scheduling. ISA T., 2004, 43, 305-318.
-
(2004)
ISA T
, vol.43
, pp. 305-318
-
-
Hauptman, B.1
Jovan, V.2
-
14
-
-
0029288315
-
Flow shop scheduling design in an FMS matrix framework
-
Huang, H.H., Lewis, F.L., Pastravanu, O.C. and Gürel, A., Flow shop scheduling design in an FMS matrix framework. Control Eng. Pract., 1995, 3, 561-568.
-
(1995)
Control Eng. Pract
, vol.3
, pp. 561-568
-
-
Huang, H.H.1
Lewis, F.L.2
Pastravanu, O.C.3
Gürel, A.4
-
15
-
-
0033102020
-
Deterministic job-shop scheduling: Past, present and future
-
Jain, A.S. and Meeran, S., Deterministic job-shop scheduling: past, present and future. Eur. J. Oper. Res., 1999, 113, 390-434.
-
(1999)
Eur. J. Oper. Res
, vol.113
, pp. 390-434
-
-
Jain, A.S.1
Meeran, S.2
-
17
-
-
0031124174
-
A Petri net synthesis theory for modelling flexible manufacturing systems
-
Jeng, M.D., A Petri net synthesis theory for modelling flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics, 1997, 27, 169-183.
-
(1997)
IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics
, vol.27
, pp. 169-183
-
-
Jeng, M.D.1
-
18
-
-
0028413979
-
Scheduling flexible manufacturing systems using Petri nets and heuristic search
-
Lee, D.Y. and DiCesare, F., Scheduling flexible manufacturing systems using Petri nets and heuristic search. IEEE T. Robotic Autom., 1994, 10, 123-132.
-
(1994)
IEEE T. Robotic Autom
, vol.10
, pp. 123-132
-
-
Lee, D.Y.1
DiCesare, F.2
-
19
-
-
0036838835
-
Analysis of discrete event systems by simulation of timed Petri net models
-
Lopez-Mellado, E., Analysis of discrete event systems by simulation of timed Petri net models. Math. Comput. Simulat., 2002, 61, 53-59.
-
(2002)
Math. Comput. Simulat
, vol.61
, pp. 53-59
-
-
Lopez-Mellado, E.1
-
20
-
-
34248535288
-
Petri net toolbox for MATLAB
-
Matcovschi, M.H., Mahuela, C. and Pastravanu, O., Petri net toolbox for MATLAB, in 11th IEEE Mediterranean Conference on Control and Automation, MED'03, 2003.
-
(2003)
11th IEEE Mediterranean Conference on Control and Automation, MED'03
-
-
Matcovschi, M.H.1
Mahuela, C.2
Pastravanu, O.3
-
21
-
-
0024645936
-
Properties, analysis and applications
-
Murata, T., Properties, analysis and applications. Proceedings of the IEEE, 1989, 77, 541-580.
-
(1989)
Proceedings of the IEEE
, vol.77
, pp. 541-580
-
-
Murata, T.1
-
22
-
-
0003054955
-
A survey of Scheduling Rules
-
Panwalkar, S.S. and Iskaneder, W., A survey of Scheduling Rules. Oper. Res., 1977, 25, 45-61.
-
(1977)
Oper. Res
, vol.25
, pp. 45-61
-
-
Panwalkar, S.S.1
Iskaneder, W.2
-
23
-
-
0031165884
-
A class of Petri nets for manufacturing system integration
-
Proth, J.M., Wang, L. and Xie, X., A class of Petri nets for manufacturing system integration. IEEE T. Robotic Autom., 1997, 13, 317-326.
-
(1997)
IEEE T. Robotic Autom
, vol.13
, pp. 317-326
-
-
Proth, J.M.1
Wang, L.2
Xie, X.3
-
24
-
-
35248843991
-
CPN tools for editing, simulating, and analysing coloured Petri nets
-
Ratzer, A., Wells, L., Lassen, H., Laursen, M., Qvortrup, J., Stissing, M., Westergaard, M., Christensen, S. and Jensen, K., CPN tools for editing, simulating, and analysing coloured Petri nets, in 24th ICATPN, 2003, pp. 450-462.
-
(2003)
24th ICATPN
, pp. 450-462
-
-
Ratzer, A.1
Wells, L.2
Lassen, H.3
Laursen, M.4
Qvortrup, J.5
Stissing, M.6
Westergaard, M.7
Christensen, S.8
Jensen, K.9
-
25
-
-
34248528693
-
-
Springer: Berlin
-
Recalde, L., Silva, M., Ezpeleta, J. and Teruel, E., In Petri Nets and Manufacturing Systems: An Examples-Driven Tour, Lectures on Concurrency and Petri Nets, Vol. 3098, pp. 742-788, 2004 (Springer: Berlin).
-
(2004)
Petri Nets and Manufacturing Systems: An Examples-Driven Tour, Lectures on Concurrency and Petri Nets
, vol.3098
, pp. 742-788
-
-
Recalde, L.1
Silva, M.2
Ezpeleta, J.3
Teruel, E.4
-
26
-
-
0000523584
-
Solving scheduling problems using Petri nets and constraint logic programming
-
Richard, P. and Proust, C., Solving scheduling problems using Petri nets and constraint logic programming. RAIRO - Recherche Operationnelle -Operations Research, 1998, 32, 125-143.
-
(1998)
RAIRO - Recherche Operationnelle -Operations Research
, vol.32
, pp. 125-143
-
-
Richard, P.1
Proust, C.2
-
27
-
-
0031380765
-
Petri nets for the design and operation of manufacturing systems
-
Silva, M. and Teruel, E., Petri nets for the design and operation of manufacturing systems. Euro. J. Control, 1997, 3, 82-199.
-
(1997)
Euro. J. Control
, vol.3
, pp. 82-199
-
-
Silva, M.1
Teruel, E.2
-
28
-
-
3242695721
-
Petri net based scheduling
-
Van der Aalst, W.M.P., Petri net based scheduling. OR Spectrum, 1996, 18, 219-229.
-
(1996)
OR Spectrum
, vol.18
, pp. 219-229
-
-
Van der Aalst, W.M.P.1
-
29
-
-
0002719897
-
-
Van der Aalst, W.M.P., The application of Petri nets to workflow management. J. Circuit, Syst. Comp., 1998, 8, 21-66.
-
Van der Aalst, W.M.P., The application of Petri nets to workflow management. J. Circuit, Syst. Comp., 1998, 8, 21-66.
-
-
-
-
30
-
-
0029350747
-
Comparison of information systems for engineer-to-order and make-to-stock situations
-
Wortmann, H., Comparison of information systems for engineer-to-order and make-to-stock situations. Comp. Ind., 1995, 26, 261-271.
-
(1995)
Comp. Ind
, vol.26
, pp. 261-271
-
-
Wortmann, H.1
-
31
-
-
0032094459
-
Automated construction of GSPN models for flexible manufacturing systems
-
Xue, Y., Kieckhafer, R.M. and Choobineh, F.F., Automated construction of GSPN models for flexible manufacturing systems. Comp. Ind., 1998, 37, 17-25.
-
(1998)
Comp. Ind
, vol.37
, pp. 17-25
-
-
Xue, Y.1
Kieckhafer, R.M.2
Choobineh, F.F.3
-
32
-
-
0031233711
-
Schedule based production
-
Yeh, C.H., Schedule based production. Int. J. Prod. Econom., 1997, 51, 235-242.
-
(1997)
Int. J. Prod. Econom
, vol.51
, pp. 235-242
-
-
Yeh, C.H.1
-
33
-
-
0037381598
-
Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems -Part I: Petri net modelling and heuristic search
-
Yu, H., Reyes, A., Cang, S. and Lloyd, S., Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems -Part I: Petri net modelling and heuristic search. Comput. Ind. Eng., 2003, 44, 527-543.
-
(2003)
Comput. Ind. Eng
, vol.44
, pp. 527-543
-
-
Yu, H.1
Reyes, A.2
Cang, S.3
Lloyd, S.4
-
34
-
-
0037380772
-
Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems - Part II: Heuristic hybrid search
-
Yu, H., Reyes, A., Cang, S. and Lloyd, S., Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems - Part II: Heuristic hybrid search. Comput. Ind. Eng., 2003, 44, 545-566.
-
(2003)
Comput. Ind. Eng
, vol.44
, pp. 545-566
-
-
Yu, H.1
Reyes, A.2
Cang, S.3
Lloyd, S.4
-
35
-
-
0026882077
-
A hybrid methodology for synthesis of Petri net models for manufacturing systems
-
Zhou, M., DiCesare, F. and Desrochers, A.A., A hybrid methodology for synthesis of Petri net models for manufacturing systems. IEEE T. Robotic Autom., 1992, 8, 350-361.
-
(1992)
IEEE T. Robotic Autom
, vol.8
, pp. 350-361
-
-
Zhou, M.1
DiCesare, F.2
Desrochers, A.A.3
-
36
-
-
0003752753
-
-
World Scientific: New York
-
Zhou, M.C. and Venkatesh, K., Modelling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net. Approach, 1999 (World Scientific: New York).
-
(1999)
Modelling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net. Approach
-
-
Zhou, M.C.1
Venkatesh, K.2
-
37
-
-
0025789348
-
Timed Petri nets: Definitions, properties and applications
-
Zuberek, W.M., Timed Petri nets: definitions, properties and applications. Microelectron. Reliab., 1991, 31, 627-644.
-
(1991)
Microelectron. Reliab
, vol.31
, pp. 627-644
-
-
Zuberek, W.M.1
-
38
-
-
0033149354
-
Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells
-
Zuberek, W.M. and Kubiak, W., Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells. Comput. Math. Appl., 1999, 37, 191-206.
-
(1999)
Comput. Math. Appl
, vol.37
, pp. 191-206
-
-
Zuberek, W.M.1
Kubiak, W.2
|