Restriction-Based Concurrent System Design Using the Rough Set Formalism

• Autorzy: Suraj Z. , Pancerz K.
• Języki publikacji: EN

Abstrakty

EN

Design of concurrent systems under various constraints is an important problem in real-life applications in many domains (for example, automatics, robotics, software engineering) and has earlier been discussed in the literature using different formalisms. In this paper some approaches to the concurrent system design based on restrictions will be considered. In our approaches, we will use the rough set formalism. The coloured Petri nets (CP-nets) will be used to model designed concurrent systems.

Słowa kluczowe

EN

concurrent system; restrictions; information systems; coloured Petri nets

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2005
• Tom: Vol. 67, nr 1-3
• Strony: 233--247
• Opis fizyczny: Bibliogr. 20 poz., tab., wykr.

Twórcy

autor

Suraj Z.

• Chair of Computer Science Foundations University of Information Technology and Management Sucharskiego Str. 2, 35-225 Rzeszów, Poland

autor

Pancerz K.

• Chair of Computer Science Foundations University of Information Technology and Management Sucharskiego Str. 2, 35-225 Rzeszów, Poland

Bibliografia

• [1] DesignCPN Web Page: http://www.daimi.au.dk/designCPN/.
• [2] CPN Tools Web Page: http://www.daimi.au.dk/CPNtools/.
• [3] Jensen, K.: Coloured Petri Nets. Vol. 1: Basic Concepts, Springer, Berlin, 1997.
• [4] Jensen, K.: Coloured Petri Nets. Vol. 2: Analysis Methods, Springer, Berlin, 1997.
• [5] Jensen, K., et al.: Design/CPN Occurrence Graph Manual, Computer Science Department, University of Aarhus, Denmark, 1996.
• [6] Lautenbach, K., Wedde, H.: Generating Control Mechanisms by Restrictions, Proceedings of the MFCS’1976, 45, Springer, Berlin, 1976.
• [7] Lautenbach, K., Wedde, H.: Loosely Coupled Systems - a New Formal Concept to Generate Control Mechanisms for Concurrent Processes, GMD-ISF, Technical Report, 1976.
• [8] Maggiolo-Schettini, A., Wedde, H., Winkowski, J.: Modeling a Solution for a Control Problem in Distributed Systems by Restrictions, vol. 70 of Lecture Notes in Computer Science, Springer, Berlin, 1979, 226–248.
• [9] Pancerz, K., Suraj, Z.: Modelling Concurrent Systems Specified by Dynamic Information Systems: A Rough Set Approach, Electronic Notes in Theoretical Computer Science, 82(4), 2003.
• [10] Pancerz, K., Suraj, Z.: Discovering Concurrent Models from Data Tables with the ROSECON System, Fundamenta Informaticae, 60(1-4), 2004, 251–268.
• [11] Pawlak, Z.: Concurrent Versus Sequential the Rough Sets Perspective, Bulletin of the EATCS, 48, 1992, 178–190.
• [12] Pawlak, Z.: Rough Set Rudiments, Institute of Computer Science Research Report 96, Warsaw University of Technology, Poland, 1996.
• [13] Peters, J., Skowron, A., Suraj, Z., Pedrycz, W., Ramanna, S.: Approximate Real-Time Decision Making: Concepts and Rough Fuzzy Petri Net Models, International Journal of Intelligent Systems, 14, 1999, 805–839.
• [14] Peters, J., Skowron, A., Suraj, Z., Ramanna, S.: Guarded Transitions in Rough Petri Nets, Proceedings of the 7th European Congress on Intelligent Techniques & Soft Computing (EUFIT 99), Aachen, Germany, 1999, The full version of the paper on CD-ROM, BC3, pp. 203-212.
• [15] Peters, J., Skowron, A., Suraj, Z., Ramanna, S., Paryzek, A.: Modeling Real-Time Decision Making Systems with Roughly Fuzzy Petri Nets, Proceedings of the 6th European Congress on Intelligent Techniques & Soft Computing (EUFIT 98), 1, Aachen, Germany, 1998.
• [16] Suraj, Z.: The Synthesis Problem of Concurrent Systems Specified by Dynamic Information Systems, in: Rough Sets in Knowledge Discovery (L. Polkowski, A. Skowron, Eds.), vol. 2, Physica-Verlag, Berlin, 1998, 418–448.
• [17] Suraj, Z.: Rough Set Methods for the Synthesis and Analysis of Concurrent Processes, in: Rough Set Methods and Applications (L. Polkowski, S. Tsumoto, T. Y. Lin, Eds.), Springer, Berlin, 2000, 379–488.
• [18] Winkowski, J.: Behaviours of Concurrent Systems, Theoretical Computer Science, 12, 1980, 39–60.
• [19] Winkowski, J.: An Algebraic Description of System Behaviours, Theoretical Computer Science, 21, 1982, 315–340.
• [20] Winskel, G., Nielsen, M.: Models for concurrency, in: Handbook of Logic in Computer Science (S. Abramsky, D. M. Gabbay, T. Maibaum, Eds.), vol. 4, 1995, 1–148.