Design of steady-state behavior of concurrent repetitive processes: An algebraic approach

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 28, Issue 2, 1998, Pages 199-212

  Zaremba, Marek B ^a,b   Jedrzejek, Krzysztof J ^c   Banaszak, Zbigniew A ^a,d  

^a IEEE   (Canada)

^b UNIVERSITÉ DU QUÉBEC EN OUTAOUAIS   (Canada)

^c KUWAIT UNIVERSITY   (Kuwait)

^d UNIVERSITY OF ZIELONA GÓRA   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; KNOWLEDGE REPRESENTATION; MATRIX ALGEBRA; SYSTEMS ENGINEERING;

CONCURRENT REPETITIVE PROCESSES; DISCRETE EVENT SYSTEMS;

RECURSIVE FUNCTIONS;

EID: 0032027049     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.661147     Document Type: Article

References (26)

1. M. Abrams, "Geometric performance analysis of semaphore program," Tech. Rep. TR-93-25, Dept. Comput. Sci., Univ. Virginia, Charlottesville, 1993.
2. F. Baccelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat, Synchronization and Linearity (An Algebra for Discrete State Systems). Chichester, U.K.: Wiley, 1992.
3. Z. Banaszak and K. Jedrzejek, "On self-synchronization of cascade-like coupled processes," Appl. Math. Comput. Sci., vol. 3, no. 4, pp. 39-60, 1993.
4. Z. Banaszak, "Modeling of manufacturing systems," in Modern Manufacturing: Information Control and Technology, M. B. Zaremba and B. Prasad, Eds. Berlin, Germany: Springer-Verlag, 1994, pp. 253-286.
5. C. T. Barts, "Periodic-job schedules and resource access control protocols," M.Sc. thesis, Univ. Illinois, Urbana, IL, 1992.
6. H. Camus, H. Ohl, O. Korbaa, and J.-C. Gentina, "Cyclic schedules in flexible manufacturing systems with flexibilities in operating sequences," in Proc. 17th Int. Conf. Application Theory Petri Nets, Osaka, Japan, June 1996, pp. 97-142.
7. C. G. Cassandras, Discrete State Systems: Modeling and Performance Analysis, Boston, MA: Aksen, 1993.
8. G. Cohen, D. Dubois, J.-P. Quadrat, and M. Viot, "Algebraic tools for the performance evaluation of discrete-event systems," Proc. IEEE, vol. 77, no. 1, pp. 39-58, 1989.
9. R. David, "Modeling of dynamics systems by Petri Nets," in Proc. 1st Europ. Control Conf., Grenoble, France, July 1991, pp. 136-147.
10. A. Di Febbraro, R. Minciardi, and S. Sacone, "Optimal flow assignment and operation sequencing in repetitive manufacturing systems," in Proc. 3rd Europ. Control Conf., Rome, Italy, Sept. 1995, vol. 3, pp. 2784-2808.
11. A. Di Febbraro, R. Minciardi, and S. Sacone, "Work-in-progress optimization of cyclic manufacturing systems with assigned throughputs," in Proc. INRIA/IEEE Symp. Emerging Technologies Factory Automation, Paris, France, Oct. 1995, vol. 3, pp. 471-478.
12. B. Gaujal, J. M. Baykal-Gursoy, and G. Alpan, "Allocation sequences of two processes sharing a resource," IEEE Trans. Robot. Automat., vol. 11, no. 5, pp. 748-753, 1995.
13. B. Gaujal, "Optimal allocation sequences of two processes sharing a resource," Tech. Report 2223, INRIA, France, 1994.
14. H. P. Hillion and J.-M. Proth, "Performance evaluation of job-shop systems using timed state-graphs," IEEE Trans. Automat. Contr., vol. 34, no. 1, pp. 3-9, 1989.
15. S. M. R. Isam and H. H. Ammar, "Performability of integrated software-hardware components of real-time parallel and distributed systems," IEEE Trans. Rel., vol. 41, no. 3, pp. 352-362, 1992.
16. K. Jedrzejek, "Modeling and performance evaluation of cyclic processes sharing common resources," Ph.D. dissertation, Tech. Univ. Poznan, Poland, 1995.
17. V. Kraviraju and C. Krishnaiah, "Addressing design and control issues of AGV-based FMS's with Petri nets aided simulation," CIM Syst., vol. 6, no. 4, 1993.
18. T.-E. Lee, "Stable earliest starting schedules for periodic job shops: A linear system approach," in Lecture Notes in Control and Information Sciences, M. Thoma, Ed. Berlin, Germany: Springer-Verlag, 1995, no. 199, pp. 290-296.
19. Y.-T. Leung and R. Suri, "Performance evaluation of discrete manufacturing systems," IEEE Contr. Syst. Mag., pp. 77-86, 1990.
20. J. Magott, "Performance evaluation of systems of cyclic sequential processes with mutual exclusion and communication by buffers using Petri Nets," in Proc. Int. Workshop Petri Nets Performance Models, Madison, WI, Aug. 1987, pp. 146-153.
21. A. Merabet, "Synchronization of operations in a flexible manufacturing cell: Petri Net approach," J. Manufact. Syst., vol. 5, no. 3, pp. 161-169, 1987.
22. K. Ramamritham, "Allocation and scheduling of precedence-related periodic tasks," IEEE Trans. Parallel Distrib. Syst., vol. 6, no. 4, pp. 412-420, 1995.
23. M. Schneider, "Self-stabilization," ACM Comput. Surv., vol. 25, no. 1, pp. 45-66, 1993.
24. B. Shridhar, D. Shukla, and P. Agrawal, "A framework for mapping periodic real-time application on multicomputers," IEEE Trans. Parallel Distrib. Syst., vol. 5, no. 7, pp. 778-784, 1994.
25. S. K. Son, B. K. Choi, T. U. Park, and K. H. Lee, "Resolution of multiple conflicts in the Petri net model of FAS," Comput. Integr. Manuf., vol. 4, no. 4, pp. 253-262, 1991.
26. M. B. Zaremba and Z. A. Banaszak, "Performance evaluation for concurrent processing in cyclic systems," Concurrent Eng.: Res. Applicat., vol. 3, pp. 123-130, 1995.