-
1
-
-
0000940701
-
Checking properties of nets using transformations
-
G. Rozenberg, Ed. New York: Springer-Verlag
-
G. Berthelot, “Checking properties of nets using transformations,” in Advances in Petri Nets 1985 (Lecture Notes in Computer Science 222), G. Rozenberg, Ed. New York: Springer-Verlag, 1985, pp. 19-40.
-
(1985)
Advances in Petri Nets 1985 (Lecture Notes in Computer Science 222)
, pp. 19-40
-
-
Berthelot, G.1
-
3
-
-
0026408483
-
Task sequence planning in a robot workcell using AND/OR nets
-
Arlington, VA, Aug.
-
T. Cao and A. C. Sanderson, “Task sequence planning in a robot workcell using AND/OR nets,” in Proc. IEEE Int. Symp. on Intell. Cont., Arlington, VA, Aug. 1991, 239-244.
-
(1991)
Proc. IEEE Int. Symp. on Intell. Cont.
-
-
Cao, T.1
Sanderson, A.C.2
-
4
-
-
3042895538
-
Task sequence planning using fuzzy petri nets
-
Man, and Cybern., Charlottesville, VA, Oct.
-
T. Cao and A. C. Sanderson, “Task sequence planning using fuzzy petri nets,” in Proc. IEEE Int. Conf. on Syst., Man, and Cybern., Charlottesville, VA, Oct. 1991, pp. 349-354.
-
(1991)
Proc. IEEE Int. Conf. on Syst.
, pp. 349-354
-
-
Cao, T.1
Sanderson, A.C.2
-
5
-
-
84935408330
-
Automatic decompositions of assembly sequence plans
-
Troy, NY, Nov.
-
T. Cao and A. C. Sanderson, “Automatic decompositions of assembly sequence plans,” in Proc. Third Ann. Conf. on Intell. Robotic Syst. for Space Exploration, pp. 19-28, Troy, NY, Nov. 1991.
-
(1991)
Proc. Third Ann. Conf. on Intell. Robotic Syst. for Space Exploration
, pp. 19-28
-
-
Cao, T.1
Sanderson, A.C.2
-
6
-
-
0027005307
-
Sensor-based error recovery for robotic task sequences using fuzzy Petri nets
-
Nice, France, May
-
T. Cao and A. C. Sanderson, “Sensor-based error recovery for robotic task sequences using fuzzy Petri nets,” in Proc. IEEE Int. Conf. on Robotics and Automat., Nice, France, May 1992, pp. 1063-1069.
-
(1992)
Proc. IEEE Int. Conf. on Robotics and Automat.
, pp. 1063-1069
-
-
Cao, T.1
Sanderson, A.C.2
-
7
-
-
84888554005
-
Task decomposition and analysis of assembly sequence plans using Petri nets
-
Troy, NY, May
-
T. Cao and A. C. Sanderson, “Task decomposition and analysis of assembly sequence plans using Petri nets,” in Proc. Third Int. Conf. on Comput. Integrated Manufacturing, Troy, NY, May 1992, pp. 138-147.
-
(1992)
Proc. Third Int. Conf. on Comput. Integrated Manufacturing
, pp. 138-147
-
-
Cao, T.1
Sanderson, A.C.2
-
8
-
-
0027147649
-
A fuzzy Petri net approach to reasoning about uncertainty in robotic systems
-
Atlanta, GA, May
-
T. Cao and A. C. Sanderson, “A fuzzy Petri net approach to reasoning about uncertainty in robotic systems,” in Proc. IEEE Int. Conf. on Robotics and Automat., Atlanta, GA, May 1993, pp. 317-322.
-
(1993)
Proc. IEEE Int. Conf. on Robotics and Automat.
, pp. 317-322
-
-
Cao, T.1
Sanderson, A.C.2
-
9
-
-
84974768870
-
Variable reasoning and analysis about uncertainty with fuzzy Petri nets
-
M. A. Marson Ed. New York: Springer-Verlag
-
T. Cao and A. C. Sanderson, “Variable reasoning and analysis about uncertainty with fuzzy Petri nets,” Lecture Notes in Computer Science 691, M. A. Marson Ed. New York: Springer-Verlag, pp. 126-145, 1993.
-
(1993)
Lecture Notes in Computer Science 691
, pp. 126-145
-
-
Cao, T.1
Sanderson, A.C.2
-
11
-
-
0025418409
-
AND/OR graph representation of assembly plans
-
April
-
L. S. Homem de Mello and A. C. Sanderson, “AND/OR graph representation of assembly plans,” IEEE Trans. Robotics and Automat., vol. 6, no. 2, pp. 188-199, April 1990.
-
(1990)
IEEE Trans. Robotics and Automat.
, vol.6
, Issue.2
, pp. 188-199
-
-
Homem, L.S.1
Mello, D.2
Sanderson, A.C.3
-
12
-
-
0026142517
-
Representations of mechanical assembly sequences
-
April
-
L. S. Homem de Mello and A. C. Sanderson, “Representations of mechanical assembly sequences,” IEEE Trans. Robotics and Automat., vol. 7, no. 2, pp. 211-227, April 1991.
-
(1991)
IEEE Trans. Robotics and Automat.
, vol.7
, Issue.2
, pp. 211-227
-
-
Homem, L.S.1
Mello, D.2
Sanderson, A.C.3
-
13
-
-
0026142590
-
A correct and complete algorithm for the generation of mechanical assembly sequences
-
April
-
L. S. Homem de Mello and A. C. Sanderson, “A correct and complete algorithm for the generation of mechanical assembly sequences,” IEEE Trans. Robotics and Automat., vol. 7, no. 2, pp. 228-240, April 1991.
-
(1991)
IEEE Trans. Robotics and Automat.
, vol.7
, Issue.2
, pp. 228-240
-
-
Homem, L.S.1
Mello, D.2
Sanderson, A.C.3
-
14
-
-
0021892420
-
Hierarchical reduction method for analysis and decomposition of Petri nets
-
Man, and Cybern.
-
K. Lee and J. Favrel, “Hierarchical reduction method for analysis and decomposition of Petri nets,” IEEE Trans. Syst., Man, and Cybern., vol. 15, no. 2, pp. 272-281, 1985.
-
(1985)
IEEE Trans. Syst.
, vol.15
, Issue.2
, pp. 272-281
-
-
Lee, K.1
Favrel, J.2
-
15
-
-
84976753721
-
A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems
-
May
-
M. Ajmone Marson, G. Balbo, and G. Conte, “A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems,” ACM Trans. Comput. Syst. vol. 2, no. 1, May 1984.
-
(1984)
ACM Trans. Comput. Syst.
, vol.2
, Issue.1
-
-
Ajmone Marson, M.1
Balbo, G.2
Conte, G.3
-
16
-
-
0023254272
-
Generalized stochastic Petri nets revisted: Random switches and priorities
-
Madison, WI: IEEE-CS Press, Aug.
-
M. Ajmone Marson, G. Balbo, G. Chiola, and G. Conte, “Generalized stochastic Petri nets revisted: Random switches and priorities,” in Proc. Int. Workshop on Petri Nets and Performance Models, Madison, WI: IEEE-CS Press, Aug. 1987.
-
(1987)
Proc. Int. Workshop on Petri Nets and Performance Models
-
-
Ajmone Marson, M.1
Balbo, G.2
Chiola, G.3
Conte, G.4
-
17
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
April
-
T. Murata, “Petri nets: Properties, analysis and applications,” Proc. IEEE, April 1989, vol. 77, no. 4, pp. 541-580.
-
(1989)
Proc. IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
19
-
-
0020795351
-
A method for stepwise refinement and abstraction of Petri nets
-
I. Suzuki and T. Murata, “A method for stepwise refinement and abstraction of Petri nets,” J. Comput. and Syst. Sci., vol. 27, pp. 51-76, 1983.
-
(1983)
J. Comput. and Syst. Sci.
, vol.27
, pp. 51-76
-
-
Suzuki, I.1
Murata, T.2
-
20
-
-
0002367242
-
Analysis of Petri nets by stepwise refinements
-
R. Valette, “Analysis of Petri nets by stepwise refinements,” J. Comput. and Syst. Sci., vol. 18, pp. 35-46, 1979.
-
(1979)
J. Comput. and Syst. Sci.
, vol.18
, pp. 35-46
-
-
Valette, R.1
-
21
-
-
0024861887
-
A top-down approach to systematic synthesis of Petri net models for manufacturing system
-
Scottsdale, AZ, May
-
M. C. Zhou, F. DiCesare, and A. A. Desrochers, “A top-down approach to systematic synthesis of Petri net models for manufacturing system,” in Proc. IEEE Int. Conf. on Robotics and Automat., Scottsdale, AZ, May 1989, pp. 534-539.
-
(1989)
Proc. IEEE Int. Conf. on Robotics and Automat.
, pp. 534-539
-
-
Zhou, M.C.1
DiCesare, F.2
Desrochers, A.A.3
|