Restriction-based concurrent system design using the rough set formalism

Fundamenta Informaticae

Volumn 67, Issue 1-3, 2005, Pages 233-247

  Suraj, Zbigniew ^a   Pancerz, Krzysztof ^a  

^a UNIVERSITY OF INFORMATION TECHNOLOGY AND MANAGEMENT   (Poland)

Author keywords

Coloured Petri nets; Concurrent systems; Information systems; Restrictions

Indexed keywords

MATHEMATICAL MODELS; PETRI NETS; ROUGH SET THEORY; SYSTEMS ANALYSIS;

COLOURED PETRI NETS; CONCURRENT SYSTEMS; INFORMATION SYSTEMS; RESTRICTIONS;

CONCURRENT ENGINEERING;

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

References (20)

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-1SF, 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 Compute r 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.