Restriction-Based Concurrent System Design Using the Rough Set Formalism

Issue title: Concurrency Specification and Programming (CS&P 2004)

Article type: Research Article

Authors: Suraj, Zbigniew | Pancerz, Krzysztof

Affiliations: Chair of Computer Science Foundations, University of Information Technology and Management, Sucharskiego Str. 2, 35-225 Rzeszów, Poland. E-mail: zsuraj,[email protected]

Abstract: Abstract. Design of concurrent systems under various constraints is an important problem in reallife 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.

Keywords: concurrent systems, restrictions, information systems, coloured Petri nets

Journal: Fundamenta Informaticae, vol. 67, no. 1-3, pp. 233-247, 2005