Restriction-Based Concurrent System Design Using the Rough Set Formalism
作者： Zbigniew Suraj , Krzysztof Pancerz
DOI:
关键词:
摘要: Abstract. Design of concurrent systems under various constraints is an important problem in reallife applications many domains (for example, automatics, robotics, software engineering) and has earlier been discussed the literature using different formalisms. In this paper some approaches to system design based on restrictions will be considered. our approaches, we use rough set formalism. The coloured Petri nets (CP-nets) used model designed systems.
acm.org 参考文章(12)
Krzysztof Pancerz, Zbigniew Suraj, Modelling Concurrent Systems Specified by Dynamic Information Systems: A Rough Set Approach Electronic Notes in Theoretical Computer Science. ,vol. 82, pp. 206- 218 ,(2003) , 10.1016/S1571-0661(04)80719-9
Andrzej Skowron, Zdzisław Pawlak, Rough set rudiments ,(1995)
Zdzisław Pawlak, Concurrent versus sequential the rough sets perspective Bulletin of The European Association for Theoretical Computer Science. ,vol. 48, pp. 178- 190 ,(1992)
K. Lautenbach, H. Wedde, Generating control mechanisms by restrictions mathematical foundations of computer science. pp. 416- 422 ,(1976) , 10.1007/3-540-07854-1_208
K. Jensen, Coloured Petri nets Discrete Event Systems: A New Challenge for Intelligent Control Systems, IEE Colloquium on. ,(1993)
Zbigniew Suraj, Krzysztof Pancerz, Discovering Concurrent Models from Data Tables with the ROSECON System Fundamenta Informaticae. ,vol. 60, pp. 251- 268 ,(2004)
Zbigniew Suraj, The Synthesis Problem of Concurrent Systems Specified by Dynamic Information Systems Physica, Heidelberg. pp. 418- 448 ,(1998) , 10.1007/978-3-7908-1883-3_22
James F. Peters, Andrzej Skowron, Zbigniew Suraj, Witold Pedrycz, Sheela Ramanna, Approximate real-time decision making: Concepts and rough fuzzy Petri net models International Journal of Intelligent Systems. ,vol. 14, pp. 805- 839 ,(1999) , 10.1002/(SICI)1098-111X(199908)14:8<805::AID-INT5>3.0.CO;2-R
Józef Winkowski, An algebraic description of system behaviours Theoretical Computer Science. ,vol. 21, pp. 315- 340 ,(1982) , 10.1016/0304-3975(82)90079-2
Józef Winkowski, Behaviours of concurrent systems Theoretical Computer Science. ,vol. 12, pp. 39- 60 ,(1980) , 10.1016/0304-3975(80)90004-3