-
3
-
-
0028131048
-
Formal specification and validation of complex production system using coloured petri nets
-
California, USA
-
Colombo, A. W., Martinez, J. and Carelli, R. (1994). Formal Specification and Validation of Complex Production System using Coloured Petri Nets. In: Proceedings of the IEEE-International Conference on Robotics and Automation ICRA '94, vol. 2, pp.. 1713-1718. California, USA.
-
(1994)
Proceedings of the IEEE-International Conference on Robotics and Automation ICRA '94
, vol.2
, pp. 1713-1718
-
-
Colombo, A.W.1
Martinez, J.2
Carelli, R.3
-
4
-
-
0042759383
-
Modelacion y analisis de operacion de sistemas flexibles de produccion (master of science thesis, in Spanish)
-
(Fund. Univ. San Juan, Ed.), San Juan, Argentina
-
Colombo, A. W. (1995). Modelacion y Analisis de Operacion de Sistemas Flexibles de Produccion (Master of Science Thesis, in Spanish). In: Temas de Automatica, Nr. 2 (Fund. Univ. San Juan, Ed.), San Juan, Argentina.
-
(1995)
Temas de Automatica
, Issue.2
-
-
Colombo, A.W.1
-
7
-
-
0010851595
-
An approach for modeling, analysis and real time control of flexible manufacturing systems using petri nets
-
Erlangen, Germany
-
Feldmann, K., Colombo, A. W. and Schnur, C. (1995). An Approach for Modeling, Analysis and Real Time Control of Flexible Manufacturing Systems Using Petri Nets. In: Proceedings of the 7th. European Simulation Symposium, Erlangen, Germany.
-
(1995)
Proceedings of the 7th. European Simulation Symposium
-
-
Feldmann, K.1
Colombo, A.W.2
Schnur, C.3
-
9
-
-
0012781149
-
Agents and petri nets
-
Gesellschaft für Informatik. Germany
-
Holvoet, T. (1995). Agents and Petri Nets. In: Petri Net Newsletter, Nr. 49, p.p. 4-8. Gesellschaft für Informatik. Germany.
-
(1995)
Petri Net Newsletter
, Issue.49
, pp. 4-8
-
-
Holvoet, T.1
-
11
-
-
0028413979
-
Scheduling flexible manufacturing systems using petri nets and heuristic search
-
Lee, D. and DiCesare, F. (1994). Scheduling Flexible Manufacturing Systems Using Petri Nets and Heuristic Search. IEEE, Trans. on Rob. and Aut., vol. 10, p.p. 123-132.
-
(1994)
IEEE, Trans. on Rob. and Aut.
, vol.10
, pp. 123-132
-
-
Lee, D.1
DiCesare, F.2
-
12
-
-
0023214085
-
Modeling, validation and software implementation of production systems using high level petri nets
-
Raleigh (USA)
-
Martinez, J., Muro, P. and Silva, M. (1987). Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. In: Proceedings of the IEEE Int. Conference on Robotics and Automation, Raleigh (USA), pp. 1180-1185.
-
(1987)
Proceedings of the IEEE Int. Conference on Robotics and Automation
, pp. 1180-1185
-
-
Martinez, J.1
Muro, P.2
Silva, M.3
-
13
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
USA
-
Murata, T. (1989). Petri Nets: Properties, Analysis and Applications. In: Proceedings of the IEEE, vol. 77, No. 4, pp. 541-580. USA.
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
15
-
-
0002532362
-
Issues in the design of scheduling systems
-
Oliff, Ed. Elsevier
-
Rickel J. (1988). Issues in the design of scheduling systems. In: Expert Systems and Intelligent Manufacturing, Oliff, Ed. Elsevier, pp. 70-89.
-
(1988)
Expert Systems and Intelligent Manufacturing
, pp. 70-89
-
-
Rickel, J.1
-
16
-
-
0026156030
-
Algebraic, mathematical programming, and network models of the deterministic job-shop scheduling problem
-
Rogers, R.; White, K. (1991). Algebraic, mathematical programming, and network models of the deterministic job-shop scheduling problem. In: IEEE, Trans. on Syst., Man, and Cybernetics, vol. 21, nr. 3, pp. 693-697.
-
(1991)
IEEE, Trans. on Syst., Man, and Cybernetics
, vol.21
, Issue.3
, pp. 693-697
-
-
Rogers, R.1
White, K.2
-
17
-
-
0001153857
-
Petri nets and flexible manufacturing. Advances in petri nets
-
Springer-Verlag 1989. Berlin Heidelberg
-
Silva M. and Valette R. (1989). Petri Nets and Flexible Manufacturing. Advances in Petri Nets. Lecture Notes in Computer Science, vol. 424, p.p. 374-417. Springer-Verlag 1989. Berlin Heidelberg.
-
(1989)
Lecture Notes in Computer Science
, vol.424
, pp. 374-417
-
-
Silva, M.1
Valette, R.2
-
18
-
-
0042258145
-
-
ZwF 85 (1990) Germany
-
Spur, G, Mertins, K., Wieneke-Toutaoui and Rabe, M. (1990). Modellierung von Informations-und Materialflüssen für die Auslegungsplanung. ZwF 85 (1990) 1, pp. 8-13. Germany.
-
(1990)
Modellierung Von Informations- und Materialflüssen für die Auslegungsplanung
, vol.1
, pp. 8-13
-
-
Spur, G.1
Mertins, K.2
Wieneke-Toutaoui3
Rabe, M.4
-
20
-
-
0041757466
-
Races in rounds
-
Gesellschaft für Informatik. Germany
-
Walter, R. (1995). Races in Rounds. In: Petri Net Newsletter, Nr. 48, p.p. 3-6. Gesellschaft für Informatik. Germany.
-
(1995)
Petri Net Newsletter
, Issue.48
, pp. 3-6
-
-
Walter, R.1
-
21
-
-
0027617932
-
Task translation and integration specification in intelligent machines
-
Wang F. and Saridis G. (1993). Task Translation and Integration Specification in Intelligent Machines. IEEE, Trans. on Rob. and Aut., vol. 9, p.p. 257-271.
-
(1993)
IEEE, Trans. on Rob. and Aut.
, vol.9
, pp. 257-271
-
-
Wang, F.1
Saridis, G.2
|