The performance evaluation tool for automated prototyping of concurrent cyclic processes

Fundamenta Informaticae

Volumn 60, Issue 1-4, 2004, Pages 269-289

  Polak, Michat ^a   Banaszak, Zbigniew ^b   Mtjdzik, Pawel ^c   Wójcik, Robert ^d  

^a Adv Digit BPL Zielona Gora ^*  (Poland)

^b KOSZALIN UNIVERSITY OF TECHNOLOGY   (Poland)

^c UNIVERSITY OF ZIELONA GÓRA   (Poland)

^d WROCLAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

(max,+) algebra; Cyclic process; Modelling; Performance evaluation

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; CONCURRENCY CONTROL; DISTRIBUTED PARAMETER CONTROL SYSTEMS; NETWORK PROTOCOLS;

AUTOMATED PROTOTYPING; CYCLIC PROCESS; PERFORMANCE EVALUATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 2942715152     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (20)

1. EL. Baccelli et al. Synchronization and linearity. An algebra for discrete event systems. John Wiley & Sons, N.Y., Toronto, 1992.
2. Z. Banaszak, M. Polak. Utilisation and system capacity (In System Flow Prototyping), in series Applied Optimization, Kluwer Academic, 2003, (in print).
3. Z. Banaszak, M. Polak. Deadlock-free distributed control for repetitive flows, Proc. of the 6th Int. Workshop on Discrete Event Systems, Zaragoza, Spain, pages 273-278, 2002.
4. M.B. Zaremba M.B., Z.A. Banaszak, P. Majdzik, and K.J. Jedrzejek. Distributed Flow control design for repetitive manufacturing processes. Proc. of the 14th Triennial Worlds Congress of IFAC, Beijing, P.R. China, Vol. A, pages 1-6, 1999.
5. Z.A. Banaszak, M. Polak, and P. Majdzik. Towards Concurrent Processes Prototyping. Preprints of the 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming, čagów, Poland, pages 71-76, 2003.
6. Z. Banaszak, P. Majdzik, W. Muszyński, and M. Polak. Towards Automation Of Distributed Control Prototyping. Pan I: Modelling, 9th IEEE International Conference MMAR - Methods and Models in Automation and Robotics, Miedzyzdroje, Poland, pages 843-848, 2003.
7. Z. Banaszak, P. Majdzik, W. Muszyński, M. Polak. Towards Automation Of Distributed Control Prototyping. Pan II: Performance Evaluation, 9th IEEE international Conference MMAR - Methods and Models in Automation and Robotics, Miedzyzdroje, Poland, pages 849-854, 2003.
8. [81 M. Polak, R. Wójcik, P. Majdzik, Z. Banaszak. Prototyping of Distributed Control Procedures in Concurrent Cyclic Processes Systems. 9th IEEE International Conference on Emerging Technologies and Factory Automation, Lisbon, Portugal, Vol.2, pages 261-268, 2003.
9. M. Abrams. Geometric performance analysis of semaphore program. Tech. Rep. TR-93-25. Dept. Comput. Sci. Univ. Virginia, Charlottesville, 1993.
10. B. Gaujal, J.M. Baykal-Gursoy,G. Alpan. Allocation sequences of two processes sharing a resource. IEEE Trans. Robot. Automat., Vol.11, no.5, pages 748-753, 1995.
11. Barts C.T. Periodic-job shedules and resources access control protocols. M.Sc. thesis, Univ. Illinois, Urbana, IL, 1992.
12. A. Di Febbraro, R. Minciardi,S. Sacone. Optimal flow assignment and operation sequencing in repetitive manufacturing systems. In Proc. 3rd Europ. Control Conf., Rome, Italy, Sept. Vol.3, pages 2784-2808, 1995.
13. B. Shridhar, D. Shukla, P.Agrawal P. A framework for mapping periodic real-time application on multicomputers. IEEE Trans. Parallel Distrib. Syst., Vol.5, no.7, pages 778-784, 1994.
14. C. G. Cassandras. Discrete state systems. Modelling and performance analysis. Boston, MA, Aksen, 1993.
15. H. P. Hillion, J. M. Proth. Performance evaluation of job-shop systems using timed state-graphs. IEEE Trans. Automat. Contr., Vol.34, no.1, pages 3-9, 1989.
16. G. Cohen, D. Dubois, J.P. Quadrat, M. Voit. A Linear System Theoretic View of Discrete Event Processes and It's Use for Performance Evaluation in Manufacturing. IEEE Trans. Automat. Contr., Vol. AC-30, pages 210-220, 1985.
17. M. Abrams, N. Doraswamy, A. Mathur. Visual analysis of parallel and distributed programs in the time, event, and frequency domains. IEEE Trans. on Parallel and Distributed Systems, vol.3, no.6, pages 672-685, 1992
18. G. Alpan, M.A. Jafari. Dynamic analysis of timed Petri nets: a case of two processes and a shared resource. IEEE Trans. on Robotics and Automation, vol.13, no.3, pages 338-346, 1997.
19. M.B. Zaremba, K. Jȩdrzejek, Z. Banaszak. Design of steady state behaviour of concurrent repetitive processes: an algebraic approach. IEEE Trans. on Syst., Man, and Cyb., Vol. 28, Part A, No.2, pages 199-212, 1998.
20. R. Wójcik. Towards strong stability of concurrent repetitive processes sharing resources. Systems Science, Vol. 27, No. 2, pages 37-47, 2001.