Restriction-based concurrent system design using the rough set formalism
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.
restrictions concurrent systems coloured petri nets information systems