Modeling and analysis of sequential processes that cooperate through buffers

IEEE Transactions on Robotics and Automation

Volumn 14, Issue 2, 1998, Pages 267-277

  Recalde, Laura ^b   Teruel, Enrique ^b   Silva, Manuel ^a,b  

^a IEEE

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Logical properties; Manufacturing systems; Petri nets; Structural analysis

Indexed keywords

COMPUTER AIDED MANUFACTURING; PETRI NETS; STRUCTURAL ANALYSIS;

DETERMINISTICALLY SYNCHRONIZED SEQUENTIAL PROCESSES (DSSP);

MANIPULATORS;

EID: 0032048263     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.681245     Document Type: Article

References (30)

1. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
2. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, 1989.
3. F. Dicesare, G. Harhalakis, J. M. Proth, M. Silva, and F. B. Vernadat, Practice of Petri Nets in Manufacturing. London, U.K.: Chapman & Hall, 1993.
4. I. Suzuki and T. Murata, "A method for stepwise refinement and abstraction of Petri nets," J. Comput. Syst. Sci., vol. 27, no. 1, pp. 51-76, 1983.
5. G. Berthelot, "Transformations and decompositions of nets," in Petri Nets: Central Models and Their Properties. Advances in Petri Nets 1986, Part I, W. Brauer, W. Reisig, and G. Rozenberg, Eds., vol. 254 of Lecture Notes in Computer Science. New York: Springer-Verlag, 1987, pp. 359-376.
6. M. Y. Souissi, "Deterministic systems of sequential processes: A class of structured Petri nets," in Advances in Petri Nets 1993, G. Rozenberg, Ed., of Lecture Notes in Computer Science. New York: Springer-Verlag, 1993, vol. 674, pp. 406-426.
7. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
8. J. Ezpeleta, J. M. Colom, and J. Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, 1995.
9. M. D. Jeng and F. DiCesare, "Synthesis using resource control nets for modeling shared resource systems," IEEE Trans. Robot. Automat., vol. 11, pp. 317-327, 1995.
10. L. Wang and X. Xie, "Modular modeling using Petri nets," IEEE Trans. Robot. Automat., vol. 12, pp. 800-809, 1996.
11. H. Camus, H. Ohl, O. Korbaa, and J. C. Gentina, "Cyclic schedules in FMS with flexibilities in operating sequences," in Proc. 1st Int. Workshop Manufact. Petri Nets, Osaka, Japan, June 1996, pp. 97-116.
12. J. M. Proth and X. Xie, Petri Nets. A Tool for Design and Management of Manufacturing Systems. New York: Wiley, 1996.
13. J. M. Colom and M. Silva, "Improving the linearly based characterization of P/T nets," in Advances in Petri Nets 1990, G. Rozenberg, Ed., Lecture Notes in Computer Science. New York: Springer-Verlag, 1991, vol. 483, pp. 113-145.
14. E. Teruel, J. M. Colom, and M. Silva, "Choice-free Petri nets: A model for deterministic concurrent systems with bulk services and arrivals," IEEE Trans. Syst., Man., Cybern. A, vol. 27, pp. 73-83, Jan. 1997.
15. Y. Dallery and S. B. Gershwin, "Manufacturing flow line systems: A review of models and analytical results," Queueing Syst.: Theory Appl., vol. 12, pp. 3-94, 1992.
16. M. Mascolo, Y. Frein, Y. Dallery, and R. David, "A unified modeling of Kanban systems using Petri nets," Int. J. Flexible Manufact. Syst., vol. 3, pp. 275-307, 1991.
17. Y. E. Lien, "Termination properties of generalized Petri nets," SIAM J. Comput., vol. 5, no. 2, pp. 251-265, 1976.
18. L. H. Landweber and E. L. Robertson, "Properties of conflict-free and persistent Petri nets," J. ACM, vol. 25, no. 3, pp. 352-364, 1978.
19. E. Teruel and M. Silva, "Structure theory of equal conflict systems," Theoret. Comput. Sci., vol. 153, nos 1/2, pp. 271-300, 1996.
20. W. Reisig, "Deterministic buffer synchronization of sequential processes," Acta Informatica, vol. 18, pp. 117-134, 1982.
21. G. Berthelot, G. Memmi, and W. Reisig, "A control structure for sequential processes synchronized by buffers," in Proc. 4th Euro. Workshop Appl. Theory Petri Nets, 1983, pp. 43-58.
22. Y. Souissi and N. Beldiceanu, "Deterministic systems of sequential processes: Theory and tools," in Concurrency 88, of Lecture Notes in Computer Science, New York: Springer-Verlag, 1988, vol. 335, pp. 380-400.
23. M. Y. Souissi, "Une etude de la préservation de propriétés par composition de réseaux de Pétri. Quelques extensions aux réseaux à files. Application à la validation de protocoles de communication," Ph.D. thesis, Univ. Pierre et Marie Curie, Paris, France, Feb. 1990.
24. L. Recalde, E. Teruel, and M. Silva, "On well-formedness analysis: The case of deterministic systems of sequential processes," in Proc. Int. Workshop Structures Concurrency Theory (STRICT), 1995, pp. 279-293.
25. M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modeling with Generalized Stochastic Petri Nets. New York: Wiley, 1995.
26. J. Campos, G. Chiola, and M. Silva, "Properties and performance bounds for closed free choice synchronized monoclass queueing networks," IEEE Trans. Automat. Contr., vol. 36, pp. 1368-1382, 1991.
27. E. Teruel, J. M. Colom, and M. Silva, "Linear analysis of deadlock-freeness of Petri net models," in Proc. 2nd Euro. Contr. Conf., 1993, vol. 2, pp. 513-518.
28. M. Silva and E. Teruel, "A systems theory perspective of discrete event dynamic systems: The Petri net paradigm," in Symp. Discrete Events Manufact. Syst.. CESA'96 IMACS Multiconf., 1996, pp. 1-12.
29. E. Teruel, M. Silva, J. M. Colom, and J. Campos, "Functional and performance analysis of cooperating sequential processes," in Quantitative Methods in Parallel Systems, F. Baccelli, A. Jean-Marie, and I. Mitrani, Eds. New York: Springer-Verlag, 1995, pp. 52-65.
30. C. J. Pérez, J. Campos, and M. Silva, "State machine reduction for the approximate performance evaluation of manufacturing systems modeled with cooperating sequential processes," in Proc. IEEE Int. Conf. Robot. Automat., 1996, pp. 1159-1165.