Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Rough Set Methods for the Synthesis and Analysis of Concurrent Processes

  • Chapter
Rough Set Methods and Applications

Part of the book series: Studies in Fuzziness and Soft Computing ((STUDFUZZ,volume 56))

Abstract

Abstract. In this Chapter rough set methods for the modeling of concurrent processes are considered. The research is motivated by the problems coming from the domains such as, for example: knowledge discovery systems, data mining, control design, decomposition of information systems, object identification in real-time. this Chapter includes, in particular, the description of automatic methods for the modeling and analysis of concurrent systems specified by information systems. In this Chapter the following problems are considered:

  1. 1.

    The synthesis problem of concurrent systems specified by information systems.

  2. 2.

    The problem of discovering concurrent data models from experimental tables.

  3. 3.

    The re-engineering problem for cooperative information systems.

  4. 4.

    The real-time decision making problem.

  5. 5.

    The control design problem for discrete event systems.

Rough set theory, Boolean reasoning, theory of Petri nets as well as self-implemented computer tools are used for this purpose. The methods presented in the paper as well as further investigations of interconnections between rough set theory and concurrency may stimulate the development of both theoretical and practical research related to the areas mentioned above.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Ajmone Marsan, M., Balbo, G., Conte, G.: Performance Models of Multiprocessor Systems. The MIT Press, Cambridge, 1986.

    Google Scholar 

  2. Ajmone Marsan, M., Balbo, G., Conte, G.: Performance Models of Multiprocessor Systems. The MIT Press, Cambridge, 1986.

    Google Scholar 

  3. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, New York, 1995.

    MATH  Google Scholar 

  4. Arnold, A.: Finite Transition Systems. Prentice-Hall, New York, 1994.

    MATH  Google Scholar 

  5. Baar, A., Cohen, P.R., Feigenbaum, E.A.: The Handbook of Artificial Intelligence 4 Addison-Wesley, Reading, 1989.

    Google Scholar 

  6. Badouel, E., Bernardinello, L., Darondeau, Ph.: The synthesis problem for elementary net systems is NP-complete. Inria Research Report 2558/1995. To appear in Theoretical Computer Science.

    Google Scholar 

  7. Badouel, E., Darondeau, Ph.: Theory of Regions. In: W. Reisig: Elements of Distributed Algorithms. Springer-Verlag, Berlin, 1998, 529–586.

    Google Scholar 

  8. Baccelli, F., Jean-Maria, A., Mitrani, I. (eds.): Quantitative Methods in Parallel Systems. Springer-Verlag, Berlin, 1995.

    MATH  Google Scholar 

  9. Baeten, J.C.M., Weijland, P.: Process Algebra. Cambridge University Press, 1990.

    Book  Google Scholar 

  10. Bagai, R., Shanbhogue, V., Żytkow, J.M., Chou, S.C.: Automatic Theorem Generation in Plane Geometry. In: J. Komorowski, Z. Raś (eds.): Methodologies for Intelligent Systems, Springer-Verlag 1993, Berlin, 215–224.

    Google Scholar 

  11. Bandemer, H., Gottwald, S.: Fuzzy Sets, Fuzzy Logic, Fuzzy Methods with Applications. Wiley, New York, 1995.

    MATH  Google Scholar 

  12. Baumgarten, B.: Petri-Netze. Grundlagen und Anwendungen. Spektrum Akademischer Verlag, 1996.

    Google Scholar 

  13. Bause, F., Kritzinger, P.S.: Stochastic/Emphasis Petri EmphasisNets. An Introduction to the Theory. Vieweg, Braunschweig/Wiesbaden, 1996.

    Google Scholar 

  14. Bazan, J.: A Comparison of Dynamic and Non-Dynamic Rough Set Methods for Extracting Laws from Decision Tables. In: L. Polkowski, A. Skowron (eds.): Rough Sets in Knowledge Discovery 1. Methodology and Applications, PhysicaVerlag 1998, Heidelberg, 321–365.

    Google Scholar 

  15. Bazan, J., Son, N.H., Trung, N.T., Skowron, A., Stepaniuk, J.: Some Logic and Rough Set Applications for Classifying Objects. Institute of Computer Science Research Report 38/94, Warsaw University of Technology, 1994, Poland.

    Google Scholar 

  16. Bazan, J., Skowron, A., Synak, P.: Dynamic Reducts as a Tool for Extracting Laws from Decision Tables. Proceedings of the Symposium on Methodologies for Intelligent Systems, Charlotte, NC, Lecture Notes in Artificial Intelligence Vol. 869, Springer-Verlag 1994, Berlin, 346–355.

    Google Scholar 

  17. Bednarczyk, M.A.: Categories of Asynchronous Systems. Ph.D. Thesis, University of Sussex, Report 1/88, School of Cognitive and Computing Sciences, University of Sussex.

    Google Scholar 

  18. Ben-Ari, M., Pnueli, A., Manna, Z.: The temporal logic of branching time. Acta Informatica 20 (1983), 207–226.

    Article  MathSciNet  MATH  Google Scholar 

  19. Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19 (1992), 87–152.

    Article  MATH  Google Scholar 

  20. Bernadinello, L.: Synthesis of Net Systems. Proceedings of the Application and Theory of Petri Nets, Lecture Notes in Computer Science Vol. 691, SpringerVerlag 1993, Berlin, 89–105.

    Google Scholar 

  21. Berthelot, G.: Transformations and Decompositions of Nets. In: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties. Advances in Petri Nets 1986 Part I, Lecture Notes in Computer Science Vol. 254, Springer-Verlag 1987, Berlin, 359–376.

    Chapter  Google Scholar 

  22. Best, E.: COSY: Its Relation to Nets and to CSP. In: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Applications and Relationships to Other Models of Concurrency. Advances in Petri Nets 1986 Part II, Lecture Notes in Computer Science Vol. 255, Springer-Verlag 1987, Berlin, 416–440.

    Chapter  Google Scholar 

  23. Best, E.: Semantik. Theorie sequentieller und paralleler Programmierung. Vie, Braunschweig/Wiesbaden, 1995.

    MATH  Google Scholar 

  24. Best, E., Fernandez, C.: Notations and Terminology on Petri Net Theory. Arbeitspapiere der GMD 195, March 1987.

    Google Scholar 

  25. Best, E., Fernandez, C.: Nonsequential Processes. A Petri Net View. EATCS Monographs on Theoretical Computer Science, Vol. 13, Springer-Verlag, Berlin, 1988.

    MATH  Google Scholar 

  26. Blair, HA., Subrahmanian, V.S.: Paraconsistent logic programming. Theoretical Computer Science 68–1 (1989), 135–154.

    Article  MathSciNet  MATH  Google Scholar 

  27. Bolc, L., Szalas, A. (eds.): Time & Logic: a computational approach. UCL Press, London, 1995.

    MATH  Google Scholar 

  28. Bolch, G., Greiner, S., de Meer, H.: Queueing Networks and Markov Chains. John Wiley, 1998.

    Book  MATH  Google Scholar 

  29. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, Vol. 14, 1987, 25–59.

    Article  Google Scholar 

  30. Bradfield, J., Stirling, C.: Verifying temporal properties of processes. In: J.C.M. Baeten, J.W. Klop (eds.): Proceedings of CONCUR’90 Theories of Concurrency: Unification and Extension, Lecture Notes in Computer Science Vol. 458, SpringerVerlag 1990, 115–125.

    Chapter  Google Scholar 

  31. Brans, G.W.: Reséaux de Petri: Théorie et Pratique, Vol. 1: Théorie et Analyse, Vol. 2: Modélisation et Applications. Edition Masson, 1983.

    Google Scholar 

  32. Brauer, W., Reisig, W., Rozenberg, G. (eds.): Petri Nets: Central Models and Their Properties. Advances in Petri Nets 1986 Part I, Lecture Notes in Computer Science Vol. 254, Springer-Verlag 1987, Berlin.

    MATH  Google Scholar 

  33. Brauer, W., Reisig, W., Rozenberg, G. (eds.): Petri Nets: Applications and Relationships to Other Models of/Emphasis Concurrency. Advances in Petri Nets 1986 Part II, Lecture Notes in Computer Science Vol. 255, Springer-Verlag 1987, Berlin.

    Google Scholar 

  34. Brookes, S.D., Hoare, CAR., Roscoe, A.W.: A Theory of Communicating Sequential Processes. Journal of the ACM, Vol. 31–3, 1984, 560–599.

    Article  MathSciNet  Google Scholar 

  35. Brown, E.M.: Boolean Reasoning. Kluwer Academic Publishers, Dordrecht, 1990.

    MATH  Google Scholar 

  36. Brownston, L., Farrell, R., Kant, E., Martin, N.: Programming Expert Systems in 0P’55. An Introduction to Rule-Based Programming. Addison-Wesley, Reading, 1986.

    Google Scholar 

  37. Budkowski, S., Dembińński, P.: An introduction to Estelle: a specification language for distributed systems. Computer Networks and ISDN Systems 14 (1987), 3–24.

    Article  Google Scholar 

  38. Cambel, A.B.: Applied Chaos Theory: A Paradigm for Complexity. Academic Press, San Diego, 1993.

    MATH  Google Scholar 

  39. Cardoso, J., Valette, R., Dubois, D.: Petri nets with uncertain markings. In: G. Rozenberg (ed.): Advances in Petri Nets, Lecture Notes in Computer Science Vol. 483, Springer-Verlag 1990, Berlin, 65–78.

    Google Scholar 

  40. Cardoso, J., Valette, R., Dubois, D.: Fuzzy Petri nets: An overview. Proceedings of the 13th IFAC World Congress, San Francisco, CA, USA, June 30 — July 5, 1996, 443–448.

    Google Scholar 

  41. Chaib-Draa, B., Moulin, B., Mandian, R., Millot, P.: Trends in Distributed Artificial Intelligence. Artificial Intelligence Review, Vol. 6–1, 1992, 35–66.

    Article  Google Scholar 

  42. Chandrasekaran, B., Bhatnagar, R., Shama, D.D.: Real-Time Disturbance Control. Communications of the ACM, Vol. 34–8, 1991, 32–47.

    Article  Google Scholar 

  43. Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. AddisonWesley, 1988.

    MATH  Google Scholar 

  44. Chen, S.M., Ke, J.S., Chang, J.F.: Knowledge representation using fuzzy Petri nets. IEEE Transactions on Knowledge and Data Engineering, Vol. 2–3, 1990, 311–319.

    Article  Google Scholar 

  45. Chou, S.C.: Mechanical Theorem Proving. R. Reidel Publishing Company, Dordrecht, 1988.

    MATH  Google Scholar 

  46. Cios, K., Pedrycz, W., winiarski, R.: Data Mining. Methods for Knowledge Discovery. Kluwer Academic Publishers, Dordrecht, 1998.

    Book  MATH  Google Scholar 

  47. Courtois, P.J.: On time and space decomposition of complex structures. Communications of the ACM, Vol. 2–6, 1985, 590–603.

    Article  Google Scholar 

  48. Crowley, J. L.: Navigation for an Intelligent Mobile Robot. IEEE Journal of Robotics and Automation RA-1 (1985), 31–41.

    Article  Google Scholar 

  49. Czaja, L.: Finite Processes in Cause-Effect Structures and Their Composition. Information Processing Letters, Vol. 31–6, 1989, 305–310.

    Article  MathSciNet  Google Scholar 

  50. Czogała, E., Mrózek, A., Pawlak, Z.: The idea of rough-fuzzy controller. Fuzzy Sets and Systems 72 (1995), 61–63.

    Article  Google Scholar 

  51. David, R., Alla, H.: Petri Nets and Grafcet. Tools for modeling discrete events systems. Prentice-Hall, New York, 1992.

    Google Scholar 

  52. Deng, Y., Chang, S.K.: A G-net model for knowledge representation and reasoning. IEEE Transactions on Knowledge and Data Engineering, KDE 2–3 (1990), 295–310.

    Article  Google Scholar 

  53. Desel, J. (ed.): Structures in Concurrency Theory. Springer-Verlag, Berlin, 1995.

    Google Scholar 

  54. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, 1995.

    Book  MATH  Google Scholar 

  55. Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Informatica 33–4 (1996), 297–315.

    Article  MathSciNet  Google Scholar 

  56. Desrochers, A.A., Al-Jaar, R.Y.: Applications of Petri Nets in Manufacturing Systems — Modeling, Control, and Performance Analysis. IEEE Control Systems Society Press, New York, 1995.

    MATH  Google Scholar 

  57. DiCesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F.B.: Practice of Petri Nets in Manufacturing. Chapman & Hall, London, 1993.

    Book  Google Scholar 

  58. Diekert, V., Rozenberg, G. (eds.): The book of traces. Word Scientific, Singapore, 1995.

    Google Scholar 

  59. Edwards, K.: Real-Time Structured Methods. Systems Analysis. Wiley, New York, 1993.

    Google Scholar 

  60. Ehrenfeucht, A., Rozenberg, G.: Partial 2-structures; Part II, State Space of Concurrent Systems. Acta Informatica 27 (1990), 348–368.

    Google Scholar 

  61. Emerson, E.A.: Temporal and Modal Logic. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science Vol. B: Formal Models and Semantics, Elsevier Science Publishers, Amsterdam, 1990, 995–1072.

    Google Scholar 

  62. Extended Abstracts of International Workshop on Rough Sets: State of the art and perspectives, Poznań-Kiekrz, Poland, 1992.

    Google Scholar 

  63. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, MY.: Reasoning about Knowledge. The MIT Press, Cambridge, 1995.

    MATH  Google Scholar 

  64. Fayyad, UM., Piatetsky-Shapiro, G., Smyth, P., Uthurusamy, R. (eds.): Advances in Knowledge Discovery and Data Mining. AAAI Press, Menlo Park, 1996.

    Google Scholar 

  65. Feldbrugge, F.: Petri Net Tools. In: G. Rozenberg (ed.): Advances in Petri nets 1985, Lecture Notes in Computer Science Vol. 222, Springer-Verlag 1986, Berlin, 203–223.

    Chapter  Google Scholar 

  66. Feldbrugge, F.: Petri net tool/Emphasis overview Emphasis1989. In: G. Rozenberg (ed.): Advances in Petri Nets 1989, Lecture Notes in Computer Science Vol. 424, Springer-Verlag 1990, Berlin, 151–178.

    Chapter  Google Scholar 

  67. Feldbrugge, F.: Petri net tool overview 1992. In: G. Rozenberg (ed.): Advances in Petri Nets 1993, Lecture Notes in Computer Science Vol. 674, Springer-Verlag 1992, Berlin, 169–209.

    Google Scholar 

  68. Feldbrugge, F., Jensen, K.: Petri net tool/Emphasis overview Emphasis1986. In: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Applications and Relationships to Other Models of Concurrency. Advances in Petri Nets 1986 Part II, Lecture Notes in Computer Science Vol. 255, Springer-Verlag 1987, Berlin, 20–61.

    Chapter  Google Scholar 

  69. Feldbrugge, F., Jensen, K.: Computer tools for High-level Petri nets. In: K. Jensen, G. Rozenberg (eds.): High-level Petri Nets. Theory and Application, Springer-Verlag 1991, Berlin, 691–717.

    Google Scholar 

  70. Fernandez, C., Merceron, A., Parada, V., Rozenberg, G., Solar, M. (eds.): Advanced Course on Petri Nets. Editorial de la Universidad de Santiago de Chile, 1996.

    Google Scholar 

  71. Fong, J., Huang, S.-M.: Information Systems Reengineering. Springer-Verlag, Berlin, 1997.

    MATH  Google Scholar 

  72. Forgy, C.L.: Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem. Artificial Intelligence, Vol. 19–1, 1982, 17–37.

    Article  Google Scholar 

  73. Garcia, O.N., Chien, Y.-T. (eds.): Knowledge-Based Systems: Fundamentals and Tools. IEEE Computer Society Press, Los Alamitos, 1991.

    Google Scholar 

  74. Genesereth, M.R., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, Palo Alto, 1987.

    MATH  Google Scholar 

  75. Genrich, H.J., Lautenbach, K.: System modeling with high-level Petri nets. Theoretical Computer Science 13 (1981), 109–136.

    Article  MathSciNet  MATH  Google Scholar 

  76. Giordana, A., Saitta, L.: Modeling production rules by means of Predicate/Transition Networks. Information Sciences 35 (1985), 1–41.

    Article  MathSciNet  MATH  Google Scholar 

  77. Gleick, J.: Chaos: Making a New Science. Viking, 1987.

    MATH  Google Scholar 

  78. Goldberg, D.E.: Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Wesley, Reading, 1989.

    MATH  Google Scholar 

  79. Hack, M.: Decidability Questions for Petri Nets. Ph.D. Thesis, Department of Electrical Engineering, Massachusetts Institute of Technology, Cambridge, 1975.

    Google Scholar 

  80. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, Vol. 79, 1991, 1305–1320.

    Article  Google Scholar 

  81. Hammer, M., Stanton, S.A.: The Reengineering Revolution. Harper Collins Publishers, 1995.

    Google Scholar 

  82. Hanisch, H.M., Luder, A.: A Signal Extension for Petri Nets and its Use in Controller Design. Proceedings of the Workshop on Concurrency, Specification and Programming, Berlin, September, 1998.

    Google Scholar 

  83. Harhalakis, G., Vernadat, F.B.: Petri nets for manufacturing information systems. In: F. DiCesare, G. Harhalakis, J.M. Proth, M. Silva, F.B. Vernadat: Practice of Petri Nets in Manufacturing. Chapman & Hall, London, 1993, 185–290.

    Chapter  Google Scholar 

  84. Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8 (1987), 231–274.

    Article  MathSciNet  MATH  Google Scholar 

  85. Haverkort, BR.: Performance of Computer-Communication Systems. John Wiley and Sons, 1998.

    Book  Google Scholar 

  86. Haves-Roth, B.: Architectural Foundations for Real-Time Performance in Intelligent Agents. Journal of Real-Time Systems 2 (1990), 99–125.

    Article  Google Scholar 

  87. Haykin, S.: Neural Networks. A Comprehensive Foundation. Macmillan, New York, 1994.

    MATH  Google Scholar 

  88. Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge, 1988.

    MATH  Google Scholar 

  89. Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21 (1978), 666–677.

    Article  MATH  Google Scholar 

  90. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, London, 1985.

    MATH  Google Scholar 

  91. HRL: Marked data. Hughes Research Laboratories, personal communication, 1994.

    Google Scholar 

  92. Hura, G.S. (ed.): Special Issue. Petri Nets and Related Graph Models. Microelectronics and Reliability, Vol. 31–4, 1991, 559–816.

    Google Scholar 

  93. Hurley, RB.: Decision Tables in Software Engineering. Van Nostrad Reinhold Company, New York, 1983.

    Google Scholar 

  94. IEEE Transactions on Software Engineering, Special Issue: Specification and Analysis of Real-Time Systems, Vol. 18–9, 1992.

    Google Scholar 

  95. Janicki, R.: Transforming Sequential Systems into Concurrent Systems. Theoretical Computer Science 36 (1985), 27–58.

    Article  MathSciNet  MATH  Google Scholar 

  96. Janicki, R., Lauer, P.E.: Specification and Analysis of Concurrent Systems. The COSY Approach. Springer-Verlag, Berlin, 1992.

    Book  MATH  Google Scholar 

  97. Jarke, M., Jeusfeld, M.A., Peters, P., Szczurko, P.: Cooperative Information Systems Engineering. In: Z. Ra, M. Michalewicz (eds.): Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems (ISMIS’96), Zakopane, Poland, June 9–13, 1996, Lecture Notes in Artificial Intelligence Vol. 1079, Springer-Verlag 1996, Berlin, 34–49.

    Google Scholar 

  98. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use 1. Springer-Verlag, Berlin, 1992.

    MATH  Google Scholar 

  99. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use 2. Springer-Verlag, Berlin, 1995.

    MATH  Google Scholar 

  100. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use 3. Springer-Verlag, Berlin, 1997.

    MATH  Google Scholar 

  101. Jensen, K., Rozenberg, G. (eds.): High-level Petri nets. Theory and Application. Springer-Verlag, Berlin, 1991.

    MATH  Google Scholar 

  102. Johson, P.M.: Reengineering inspection. Communications of the ACM 41–2 (1998), 49–52.

    Article  Google Scholar 

  103. Karp, R.M., Miller, RE.: Parallel program schemata. Journal of Computer and System Sciences 3–4 (1969), 147–195.

    Article  MathSciNet  MATH  Google Scholar 

  104. Keller, R.M.: Formal verification of parallel programs. Communications of the ACM 19 (1976), 371–384.

    Article  MATH  Google Scholar 

  105. Kodratoff, Y., Michalski, R. (eds.): Machine Learning Vol. 3. Morgan Kaufmann Publishers, San Mateo, 1992.

    Google Scholar 

  106. Kotov, V.E.: Petri Nets. Nauka Publ. Company, Moskov, 1984, in Russian.

    MATH  Google Scholar 

  107. Krieg, B.:Petrinetze und Zustandsgraphen. IFI-Bericht B-29/77, Institut für Informatik, Universität Hamburg, 1977, Germany.

    Google Scholar 

  108. Lautenbach, K.: Linear Algebraic Techniques for Place/Transition Nets. In: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties. Advances in Petri Nets 1986 Part I, Lecture Notes in Computer Science Vol. 254, Springer-Verlag 1987, Berlin, 142–167.

    Chapter  Google Scholar 

  109. Lee, Y.H., Krishna, C.M.: Readings in Real-Time Systems. IEEE Computer Society Press, Los Alamitos, 1993.

    MATH  Google Scholar 

  110. Lengauer, C., Hehner, E.C.R.: A Methodology for Programming with Concurrency: EmphasisAn Informal Presentation. Science of Computer Programming 2 (1982), 1–18.

    Article  MATH  Google Scholar 

  111. Leszak, M., Eggert, H.: Petri-Netz-Methoden und -Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. Springer-Verlag, Berlin, 1989.

    Google Scholar 

  112. Lin, C., Chaundhury, A., Whinston, A., Marinescu, D.C.: Logical inference of Horn clauses in Petri net models. IEEE Transactions on Knowledge and Data Engineering, KDE 5–3 (1993), 416–425.

    Article  Google Scholar 

  113. Lin, T.Y. (ed.): Proceedings of The Third International Workshop on Rough Sets and Soft Computing, San Jose, CA, November 10–12, 1994.

    Google Scholar 

  114. Lin, T.Y.: Rough — fuzzy controllers for complex systems. In: P. P. Wang (ed.): Second Annual Joint Conference on Information Sciences (JCIS’95), Wrightsville Beach, North Carolina, USA, September 28 — October 1, 1995, 18–21.

    Google Scholar 

  115. Lin, T.Y.: Fuzzy controllers: An integrated approach based on fuzzy logic, rough sets, and evolutionary computing. In: T.Y. Lin (ed.): Proceedings of the Workshop on Rough Sets and Data Mining at 23rd Annual Computer Science Conference, Nashville, Tenessee, March 2, 1995, 48–56. Also in: [115], 123–138.

    Google Scholar 

  116. Lin, T.Y., Cercone, N. (eds.): Rough Sets and Data Mining. Analysis for Imprecise Data. Kluwer Academic Publishers, Dordrecht, 1997.

    Google Scholar 

  117. Looney, C.G.: Fuzzy Petri Nets for Rule-Based Decision-making. IEEE Transactions on Systems, Man, and Cybernetics 18–1 (1988), 178–183.

    Article  Google Scholar 

  118. Lopez, B., Meseguer, P., Plaza, E.: Knowledge based systems validation: a state of the art. AI Communications 3–2 (1990), 58–72.

    Google Scholar 

  119. Manna, Z., Pnuelli, A.: The Temporal Logic of Reactive and Concurrent Systems Vol. I: Specification. Springer-Verlag, Berlin, 1992.

    Book  Google Scholar 

  120. Manna, Z., Pnuelli, A.: Temporal Verification of Reactive EmphasisSystems Vol. II: Safety. Springer-Verlag, Berlin, 1995.

    Book  Google Scholar 

  121. Manson, P.R.: Petri Net Theory, A Survey. Technical Report No. 139, University of Cambridge, Cambridge, England, 1988.

    Google Scholar 

  122. Martinez, J., Mum, P.R., Silva, M., Smith, S.F., Villaroel, J.L.: Merging artificial intelligence techniques and Petri nets for real-time schedulling and controll of production systems. Proceedings of the 12th IMACS World Congress on Scientific Computation, Paris, 1988, 528–531.

    Google Scholar 

  123. Mazurkiewicz, A.: Concurrent program schemes and their interpretations. Technical Report DAIMI PB-78, Aarhus University, 1977.

    Google Scholar 

  124. Mazurkiewicz, A.: Compositional Semantics of Pure Place/Transition systems. In: G. Rozenberg (ed): Advances in Petri Nets 1985. Lecture Notes in Computer Science Vol. 222, Springer-Verlag 1986, Berlin, 307–330.

    Google Scholar 

  125. Mazurkiewicz, A.: Trace Theory. In: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Applications and Relationships to Other Models of Concurrency. Advances in Petri Nets 1986 Part II, Lecture Notes in Computer Science Vol. 255, Springer-Verlag 1987, Berlin, 279–324.

    Google Scholar 

  126. Mazurkiewicz, A.:Introduction to trace theory, Chapter 1 of V. Diekert, G. Rozenberg (eds.): The book of traces. Word Scientific, Singapore, 1995.

    Google Scholar 

  127. Michalski, R., Carbonell, J.G., Mitchell, T.M. (eds.): Machine Learning: An Artificial Intelligence Approach, Vol. 1, Tioga/Morgan Publishers, Los Altos, 1983.

    Google Scholar 

  128. Michalski, R., Carbonell, J.G., Mitchell, T.M. (eds.): Machine Learning: An Artificial Intelligence Approach, Vol. 2, Tioga/Morgan Publishers, Los Altos, 1986.

    Google Scholar 

  129. Michalski, R., Kerschberg, L., Kaufman, K.A., Ribeiro, J.S.: Mining for Knowledge in Databases: The INLEN Architecture, Initial Implementation and First Results. Intelligent Information Systems: Integrating Artificial Intelligence and Database Technologies 1–1 (1992), 85–113.

    Google Scholar 

  130. Michalski, R., Wnęk, J.: Constructive Induction: An Automated Improvement of Knowledge Representation Spaces for Machine Learning. Proceedings of a Workshop on Intelligent Information Systems: Practical Aspects of Artificial Intelligence, Vol. II, Augustów, Poland, June 7–11, 1993, 188–236.

    Google Scholar 

  131. Michalski, R., Bratko, I., Kubat, M.(eds.): Machine Learning and Data Mining. Methods and Applications. Wiley, New York, 1998.

    Google Scholar 

  132. Milner, R.: A calculus of communicated systems. Lecture Notes in Computer Science, Vol. 92, Springer-Verlag, Berlin, 1980.

    Book  Google Scholar 

  133. Milner, R.: Communication and Concurrency. Prentice-Hall, New York, 1989.

    MATH  Google Scholar 

  134. Mitchell, M.: An Introduction to Genetic Algorithms. MIT Press, Cambridge, 1996.

    Google Scholar 

  135. Molloy, M.K.: Performance analysis using stochastic Petri nets. IEEE Trans. Comput., C-31, No. 9, 1982, 913–917.

    Article  Google Scholar 

  136. Mrózek, A.: Rough Sets in Computer Implementation of Rule-Based Control of Industrial Processes. In: R. Slowiński (ed.): Intelligent Decision Support: Handbook of Applications and Advances of Rough Sets Theory, Kluwer Academic Publishers 1992, Dordrecht, 19–31.

    Google Scholar 

  137. Mrózek, A., Plonka, L.: Knowledge Representation in Fuzzy and Rough Controllers. In: M. Dąbrowski, M. Michalewicz, Z.W. Raś; (eds.): Proceedings of the Third International Workshop on Intelligent Information Systems, Wigry, Poland, June 6–10, 1994, Institute of Computer Science Polish Academy of Sciences, Warsaw, 324–337. Also in: Fundamenta Informaticae 30 (1997), 345–358.

    Google Scholar 

  138. Mrózek, A., Plonka, L., Kędziera, J.: The methodology of rough controller synthesis. Proceedings of the 5th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE’96), New Orleans, Louisiana, September 8–11, 1996, 1135–1139.

    Google Scholar 

  139. Mukund, M.: Petri Nets and Step Transition Systems. International Journal of Foundations of Computer Science 3–4 (1992), 443–478.

    Article  MathSciNet  Google Scholar 

  140. Munakata, T.: Rough control: Basic ideas and applications. In: P.P. Wang (ed.): Second Annual Joint Conference on Information Sciences (JCIS’95), Wrightsville Beach, North Carolina, USA, September 28 — October 1, 1995, 340–343.

    Google Scholar 

  141. Munakata, T.: Rough control: a perspective. In: Lin, T.Y., Cercone, N. (eds.): Rough Sets and Data Mining. Analysis for Imprecise Data, Kluwer Academic Publishers 1997, Dordrecht, 77–88.

    Chapter  Google Scholar 

  142. Munakkata, T.: Fundamentals of the New Artificial Intelligence. Springer-Verlag, Berlin, 1998.

    Google Scholar 

  143. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77–4 (1989), 541–580.

    Article  Google Scholar 

  144. Murata, T.: Temporal uncertainty and fuzzy-timing high-level Petri nets. Proceedings of the 17th International Conference on Applications and Theory of Petri Nets, Osaka, Japan, 1996, 10–28.

    Google Scholar 

  145. Murata, T., Nelson, P.C., Yim, J.: A Predicate-Transition Net model for multiple agent planning. Information Science 57–58 (1991), 361–384.

    Article  Google Scholar 

  146. Murata, T., Subrahmanian, VS., Wakayama, T.: A Petri net model for reasoning in the presence of inconsistency. IEEE Transactions on Knowledge and Data Engineering, KDE 3–3 (1991), 281–292.

    Article  Google Scholar 

  147. Murata, T., Zhang, D.: A Predicate-Transition Net model for parallel interpretation of logic programs. IEEE Transactions on Software Engineering, SE 14–4 (1988), 481–497.

    Article  Google Scholar 

  148. Nadler, M., Smith, E.P.: Pattern Recognition Engineering. Wiley, New York, 1993.

    MATH  Google Scholar 

  149. Natarajan, B.K.: Machine Learning: A Theoretical Approach. Morgan Kaufmann, San Mateo, 1991.

    Google Scholar 

  150. Nazareth, D.L.: Investigating the applicability of Petri nets for rule-based system verification. IEEE Transactions on Knowledge and Data Engineering, KDE 5–3 (1993), 402–415.

    Article  Google Scholar 

  151. Nguyen, T.A., Perkins, W.A., Laffey, T.J., Pecora, D.: Knowledge base validation. AI Magazine, summer 1987, 67–75.

    Google Scholar 

  152. Nguyen, S.H., Skowron, A.: Quantization of real value attributes. Proceedings of the Second Joint Annual Conference on Information Sciences, Wrightsville Beach, NC, September 28 — October 1, 1995, 34–37.

    Google Scholar 

  153. Nguyen, S.H.: Discretization of real-valued attributes: Boolean reasoning approach. Ph.D. Thesis, Faculty of Mathematics, Computer Science and Mechanics, Warsaw University, 1997.

    Google Scholar 

  154. Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, Part 1. Theoretical Computer Science 13 (1981), 85–108.

    Article  MathSciNet  MATH  Google Scholar 

  155. Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary Transition Systems. Theoretical Computer Science 96–1 (1992), 3–33.

    Article  MathSciNet  Google Scholar 

  156. Nielsen, M., Sassone, V., Winskel, G.: Relationships Between Models of Concurrency. In: J.W. de Bakker, W.P. de Roever, G. Rozenberg (eds.): A Decade of Concurrency, Lecture Notes in Computer Science Vol. 803, Springer-Verlag 1993, Berlin, 425–476.

    Google Scholar 

  157. Ochmańński, E.: Recognizable trace language, Chapter 6 of V. Diekert, G. Rozenberg (eds.): The book of traces. Word Scientific, Singapore, 1995.

    Google Scholar 

  158. Ochsenschläger, P., Prinoth, R.: Modellierung verteilter Systeme. Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen. Vieweg, Braunschweig/Wiesbaden, 1995.

    Google Scholar 

  159. Ohrn, A.: Rough logic control. (Project), Technical Report, Knowledge Systems Group, Norwegian Institute of Technology, 1993.

    Google Scholar 

  160. Ohm, A., Komorowski, J., Skowron, A., Synak, P.: The Rosetta Software System. In: L. Polkowski, A. Skowron (eds.): Rough Sets in Knowledge Discovery 2. Applications, Case Studies and Software Systems, Physica-Verlag 1998, Heidelberg, 572–575.

    Google Scholar 

  161. Olderog, ER.: Nets, Terms and Formulas. Cambridge University Press, 1991.

    Book  MATH  Google Scholar 

  162. Orlowska, E. (ed.): Incomplete Information: Rough Set Analysis. Physica-Verlag, Heidelberg, 1998.

    Google Scholar 

  163. Ott, E.: Chaos in Dynamical Systems. Cambridge University Press, 1993.

    MATH  Google Scholar 

  164. Pal, S.K., and Skowron, A. (eds.): Rough-Fuzzy Hybridization. A New Trend in Decision Making, Springer-Verlag, Singapore, 1999.

    MATH  Google Scholar 

  165. Paulson, D., Wand, Y.: An Automated Approach to Information Systems Decomposition. IEEE Transactions on Software Engineering 18–3 (1992), 174–189.

    Article  Google Scholar 

  166. Pagnoni, A.: Project Engineering. Computer-Oriented Planning and Operational Decision Making., Springer-Verlag, Berlin, 1990.

    Google Scholar 

  167. Pawlak, Z.: Rough sets. International Journal of Computer and Information Sciences, Vol. 11, 1982, 341–356.

    Article  MathSciNet  MATH  Google Scholar 

  168. Pawlak, Z.: Decision Tables and Decision Algorithms. Bulletin of the Polish Academy of Sciences 33–9,10 (1985), 487–494.

    MathSciNet  Google Scholar 

  169. Pawlak, Z.: Rough sets — theoretical aspects of reasoning about data. Kluwer Academic Publishers, Dordrecht, 1991.

    MATH  Google Scholar 

  170. Pawlak, Z.: Concurrent versus sequential the rough sets perspective. Bulletin of the EATCS 48 (1992), 178–190.

    MATH  Google Scholar 

  171. Pawlak, Z.: Rough real functions and rough controllers. In: T.Y. Lin (ed.): Proceedings of the Workshop on Rough Sets and Data Mining at 23rd Annual Computer Science Conference, Nashville, Tenessee, March 2, 1995, 57–62. Also in: [115], 139–147.

    Google Scholar 

  172. Pawlak, Z.: Rough Set Rudiments. Institute of Computer Science Research Report 96, Warsaw University of Technology, 1996, Poland.

    Google Scholar 

  173. Pawlak, Z.:Some Remarks on Explanation of Data and Specification of Processes Concurrent. Bulletin of International Rough Set Society 1–1 (1997), 1–4.

    Google Scholar 

  174. Pawlak, Z., Munakata, T.:Rough Control: Application of rough set theory to control. Proceedings of the Fourth European Congress on Intelligent Techniques and Soft Computing (EUFIT’96) Vol. 1, Aachen, Germany, September 2–5, 1996, Verlag Mainz, 209–218.

    Google Scholar 

  175. Pawlak, Z., Skowron, A.: A rough set approach for decision rules generation. Institute of Computer Science Research Report 23/93, Warsaw University of Technology, 1993, Poland. Also in: Proceedings of the IJCAI’93 Workshop: The Management of Uncertainty in Artificial Intelligence, France, 1993.

    Google Scholar 

  176. Payton, D. W., Bihari, T. E.: Intelligent Real-Time Control of Robotic Vehicles. Communications of the ACM, Vol. 34–8, 1991, 48–63.

    Google Scholar 

  177. Pedrycz, W.: Fuzzy Sets Engineering. CRC Press, Boca Raton, FL, 1995.

    MATH  Google Scholar 

  178. Pedrycz, W., Gomide, F.: A generalized fuzzy Petri net model. IEEE Transactions on Fuzzy Systems 2–4 (1994), 295–301.

    Article  Google Scholar 

  179. Pedrycz, W., Peters, J.F.: Learning in fuzzy Petri nets. In: Cardoso, J., Sandri, S. (eds.): Fuzzy Petri Nets, Physica-Verlag 1998, Heidelberg, in press.

    Google Scholar 

  180. Pedrycz, W., Peters, J.F., Ramanna, S., Furuhashi, T.: From data to fuzzy Petri nets: generalized model and calibration abilities. Proceedings of the Seventh International Fuzzy Systems Association World Congress (IFSA’97), Vol. III, 1997, 294–299.

    Google Scholar 

  181. Peters, J.F.: Time and Clock Information Systems: Concepts and Roughly Fuzzy Petri Net Models. In: L. Polkowski, A. Skowron (eds.): Rough Sets and Knowledge Discovery 2, Physica-Verlag 1998, Heidelberg, 385–417.

    Google Scholar 

  182. Peters, J.F., Ramanna, S.: A rough sets approach to assessing software quality: concepts and rough Petri net models. In: [163], 349–380.

    Google Scholar 

  183. Peters, J.F., 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–4 (1998), 4–37.

    Google Scholar 

  184. Peters, J.F., Skowron, A., Suraj, Z., Ramanna, S., Paryzek, A.: Modelling RealTime Decision-Making Systems with Roughly Fuzzy Petri Nets. In: J. Komorowski, A. Skowron (eds.): Proceedings of the 6th European Congress on Intelligent Techniques and Soft Computing (EUFIT’98), Aachen, Germany, September 7–10, 1998, 985–989.

    Google Scholar 

  185. Peters, J.F., Skowron, A., Suraj, Z., Ramanna, S.: Guarded Transitions in Rough Petri Nets. In: Proceedings of the 7th European Congress on Intelligent Techniques and Soft Computing (EUFIT’99), Aachen, Germany, September 13–16, 1999, Abstract (171p.), the full version of the paper on CD-ROM, BC3.

    Google Scholar 

  186. Peters, J.F., Ziaei, K., Ramanna, S.: Approximate Time Rough Control: Concepts and Application to Satellite Attitude Control. In: L. Polkowski, A. Skowron (eds.): Proceedings of the International Conference on Rough Sets and Current Trends in Computing (RSCTC’98), Warsaw, Poland, June, 1998, Lecture Notes in Artificial Intelligence Vol. 1424, 491–498.

    Google Scholar 

  187. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, 1981.

    Google Scholar 

  188. Petri, C.A.: Kommunikation mit Automaten. Schriften des IIM Nr. 2, Institut für Instrumentelle Mathematik, Bonn, 1962. Also in: Communication with Automata (in English). Griffiss Air Force Base, New York Technical Report RADC-TR-65377, Vol. 1, Suppl. 1, 1966.

    Google Scholar 

  189. Petri Net Newsletter, Special Volume: Petri Net Tools. Overview 92. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, No. 41, April 1992.

    Google Scholar 

  190. Piatetsky-Shapiro, G., Frawley, W. (eds.): Knowledge discovery in databases. The AAAI Press, Menlo Park, 1991.

    Google Scholar 

  191. Pnueli, A.: The temporal logic of programs. Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, 1977, 46–57.

    Google Scholar 

  192. Pnueli, A.: Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. In: J.W. de Bakker, W.P. de Roever, G. Rozenberg (eds.): Current Trends in Concurrency, Lecture Notes in Computer Science Vol. 224, Springer-Verlag 1986, Berlin, 510–584.

    Chapter  Google Scholar 

  193. Polkowski, L., Skowron, A. (eds.): Rough Sets in Knowledge Discovery 1. Methodology and Applications. Physica-Verlag, Heidelberg, 1998.

    MATH  Google Scholar 

  194. Polkowski, L., Skowron, A. (eds.): Rough Sets in Knowledge Discovery 2. Applications, Case Studies and Software Systems. Physica-Verlag, Heidelberg, 1998.

    MATH  Google Scholar 

  195. Polkowski, L., Skowron, A. (eds.): Rough Sets and Current Trends in Computing. Proceedings of the First International Conference (RSCTC’98), Warsaw, Poland, June 1998, Lecture Notes in Artificial Intelligence Vol. 1424, Springer-Verlag, Berlin, 1998.

    MATH  Google Scholar 

  196. Popova, L.: On Time Petri Nets. Journal of Informormation Processing and Cybernetics (EIK), Vol. 27, No. 4, 1991, 227–244.

    MATH  Google Scholar 

  197. Portinale, L.: Petri Net Models for Diagnostic Knowledge Representation and Reasoning. Ph.D. Thesis, Computer Science Department, University of Torino, Italy, 1994.

    Google Scholar 

  198. Pratt, V.: Modelling Concurrency Emphasiswith Partial Orders. International Journal of Parallel Programming, Vol. 15, Plenum, 33–71.

    Google Scholar 

  199. Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1–3, 1985.

    Google Scholar 

  200. Proceedings of the International Workshop on Petri Nets and Performance Models, Madison, WI, August 24–26, 1987.

    Google Scholar 

  201. PNPM89: Petri Nets and Performance Models. Proceedings of the 3rd International Workshop, Kyoto, Japan, 1989, IEEE Computer Society Press.

    Google Scholar 

  202. PNPM91: Petri Nets and Performance Models. Proceedings of the 4th International Workshop, Melbourne, Australia, 1991, IEEE Computer Society Press.

    Google Scholar 

  203. Proth, J.M., Xie, X.: Petri Nets. A Tool for Design and Management of Manufacturing Systems Wiley, 1996.

    Google Scholar 

  204. Rabin, M.O., Scott, D.S.: Finite automata and their decision problems. IBM J. Research 3 (2), 1959.

    Google Scholar 

  205. Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Cambridge, Mass.: MIT, Dept. Electrical Engineering, Ph.D. Thesis, 1974. Also in: Cambridge, Mass.: MIT, Project MAC, Technical Report 120, Feb., 1974.

    Google Scholar 

  206. Reif, J.H. (ed.): Synthesis of Parallel Algorithms. Morgan Kaufmann Publishers, San Mateo, 1993.

    Google Scholar 

  207. Reisig, W.: Petri Nets. An Introduction. EATCS Monographs on Theoretical Computer Science, Vol. 4, Springer-Verlag, Berlin, 1985.

    MATH  Google Scholar 

  208. Reisig, W.: A Primer in Petri Net Design. Springer-Verlag, Berlin, 1992.

    Book  MATH  Google Scholar 

  209. Reisig, W.:Elements of Distributed Algorithms. Springer-Verlag, Berlin, 1998.

    MATH  Google Scholar 

  210. Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models. Lecture Notes in Computer Science Vol. 1491, Springer-Verlag, Berlin, 1998.

    MATH  Google Scholar 

  211. Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets II: Applications. Lecture Notes in Computer Science Vol. 1492, Springer-Verlag, Berlin, 1998.

    Google Scholar 

  212. Reutenauer, C.: The Mathematics of Petri Nets. Masson and Prentice Hall International (UK) Ltd, 1990.

    MATH  Google Scholar 

  213. Ripley, B.D.: Pattern Recognition and Neural Networks. Cambridge University Press, 1996.

    MATH  Google Scholar 

  214. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs, 1998.

    Google Scholar 

  215. Rozenberg, G. (ed.): Advances in Petri Nets 1984. Lecture Notes in Computer Science Vol. 188, Springer-Verlag 1985, Berlin.

    MATH  Google Scholar 

  216. Rozenberg, G. (ed): Advances in Petri Nets 1985. Lecture Notes in Computer Science Vol. 222, Springer-Verlag 1986, Berlin.

    MATH  Google Scholar 

  217. Rozenberg, G. (ed.): Advances in Petri Nets 1987. Lecture Notes in Computer Science Vol. 266, Springer-Verlag 1987, Berlin.

    MATH  Google Scholar 

  218. Rozenberg, G. (ed.): Advances in Petri Nets 1988. Lecture Notes in Computer Science Vol. 340, Springer-Verlag 1988, Berlin.

    MATH  Google Scholar 

  219. Rozenberg, G. (ed.): Advances in Petri Nets 1989. Lecture Notes in Computer Science Vol. 424, Springer-Verlag 1990, Berlin.

    MATH  Google Scholar 

  220. Rozenberg, G. (ed): Advances in Petri Nets 1990. Lecture Notes in Computer Science Vol. 483, Springer-Verlag 1991, Berlin.

    Google Scholar 

  221. Rozenberg, G. (ed.): Advances in Petri Nets 1991. Lecture Notes in Computer Science Vol. 524, Springer-Verlag 1991, Berlin.

    MATH  Google Scholar 

  222. Rozenberg, G. (ed.): Advances in Petri Nets 1992. Lecture Notes in Computer Science Vol. 609, Springer-Verlag 1992, Berlin.

    Google Scholar 

  223. Rozenberg, G. (ed.): Advances in Petri Nets 1993. Lecture Notes in Computer Science Vol. 674, Springer-Verlag 1993, Berlin.

    MATH  Google Scholar 

  224. Rozenberg, G., Thiagarajan, P.S.: Petri nets: basic notions, structure, behaviour. In: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.), Current Trends in Concurrency. Lecture Notes in Computer Science Vol. 224, Springer-Verlag 1986, Berlin, 585–668.

    Chapter  Google Scholar 

  225. Rozenblyum, L.Y.: Petri Nets. Tekh. Kibern. (USRR), Vol. 21, No. 5, 1983, 12–40.

    MathSciNet  Google Scholar 

  226. Russell, S., Norvig, P.: Artificial Intelligence: Modern Approach. Prentice-Hall, Englewood Cliffs, 1995.

    MATH  Google Scholar 

  227. Sage, A.P.: Methodology for Large Scale Systems, McGraw-Hill, New York, 1977.

    MATH  Google Scholar 

  228. Sahner, RA., Trivedi, K.S., Puliafito, A.: Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, Dordrecht, 1995.

    Google Scholar 

  229. Sassone, V., Nielsen, M., Winskel, G.: Models for Concurrency: Towards a Classification. Theoretical Computer Science 170, Elsevier, 1996, 297–348.

    Google Scholar 

  230. Schoppers, M.: Real-Time Knowledge-Based Control Systems. Communications of the ACM, Vol. 34–8, 1991, 26–30.

    Article  Google Scholar 

  231. Shafer, G.: A mathematical theory of evidence. Princeton University Press, 1976.

    MATH  Google Scholar 

  232. Shapiro, S.C., Eckroth, D.: Encyclopedia of Artificial Intelligence Vol. 1. Wiley, New York, 1987, 18–35.

    Google Scholar 

  233. Shapiro, S.C. (ed.): Encyclopedia of Artificial Intelligence Vol. 1,2. Second Edition, Wiley, New York, 1992.

    Google Scholar 

  234. Shavlik, J.W., Dietterich, T.G. (eds.): Readings in Machine Learning. Morgan Kaufmann Publishers, San Mateo, 1990.

    Google Scholar 

  235. Shields, MW.: Concurrent machines. Computer Journal, Vol. 28, Cambridge University Press, 1985, 449–465.

    Article  MathSciNet  MATH  Google Scholar 

  236. Shrager, J., Langley, P. (eds.): Computational Models of Scientific Discovery and Theory Formation. Morgan Kaufmann Publishers, San Mateo, 1990.

    Google Scholar 

  237. Silva, M.: Las Redes de Petri. En la Automática y la Informática. Edotorial AC, Madrit, 1985.

    Google Scholar 

  238. Simon, HA.: The Sciences of the Artificial. 2nd edition, MIT Press, Cambridge, 1981.

    Google Scholar 

  239. Skowron, A.: The rough set theory and evidence theory. Fundamenta Informaticae 13 (1990), 245–262.

    MathSciNet  MATH  Google Scholar 

  240. Skowron, A.: Boolean reasoning for decision rules generation. In: J. Komorowski, Z. Raś (eds.): Proceedings of the Seventh International Symposium (ISMIS’93), Trondheim, Norway, 1993, Lecture Notes in Artificial Intelligence Vol. 689, Springer-Verlag 1993, Berlin, 295–305.

    Google Scholar 

  241. Skowron, A.: A synthesis of decision rules: applications of discernibility matrix properties. Proceedings of the Conference Intelligent Information Systems, Augustów, Poland, June 7–11, 1993.

    Google Scholar 

  242. Skowron, A.: Synthesis of adaptive decision systems from experimantal data (invited talk). In: A. Aamadt, J. Komorowski (eds.): Proceedings of the Fifth Scandinavian Conference on Artificial Intelligence (SCAI-95), I∅S Press 1995, Amsterdam, 220–238.

    Google Scholar 

  243. Skowron, A.: Extracting laws from decision tables: a rough set approach. Computational Intelligence, Vol. 11–2, 1995, 371–388.

    Article  MathSciNet  Google Scholar 

  244. Skowron, A., Grzymala-Busse, J.: From the rough set theory to the evidence theory. Institute of Computer Science Research Report 8/91, Warsaw University of Technology, 1991, Poland. Also in: R.R. Yager, M. Federizzi, J. Kacprzyk (eds.): Advances in the Dempster-Shafer theory of evidence, Wiley, New York, 1993, 193–236.

    Google Scholar 

  245. Skowron, A., Peters, J. F., Suraj, Z.: An Application of Rough Set Methods to Control Design. In: H.D. Burkhard, L. Czaja, H.S. Nguyen, P. Starke (eds.): Proceedings of the Workshop on the Concurrency, Specification and Programming, Warsaw, Poland, 28–30 September, 1999, 214–235.

    Google Scholar 

  246. Skowron, A., Polkowski, L.: Synthesis of decision systems from data tables. Institute of Computer Science Research Report 64/95, Warsaw University of Technology, 1995, Poland.

    Google Scholar 

  247. Skowron, A., Polkowski, L.: Rough mereology: A new paradigm for approximate reasoning. Journal of Approximate Reasoning, Vol. 15–4, 1996, 333–365.

    MathSciNet  Google Scholar 

  248. Skowron, A., Polkowski, L.: Decision Algorithms: a Survey of Rough Set — Theoretical Methods. Fundamenta Informaticae 30 (1997), 345–358.

    MathSciNet  MATH  Google Scholar 

  249. Skowron, A., Polkowski, L., Komorowski, J.: Learning tolerance relations by Boolean descriptors: automatic feature extraction from data tables. Proceedings of the Fourth International Workshop on Rough Sets, Fuzzy Sets, and Machine Discovery (RSFD-96), Tokyo, Japan, November 6–8, 1996, 11–17.

    Google Scholar 

  250. Skowron, A., Rauszer, C.: The discernibility matrices and functions in information systems. In: R. Slowiński (ed.): Intelligent Decision Support: Handbook of Applications and Advances of Rough Sets Theory, Kluwer Academic Publishers 1992, Dordrecht, 331–362.

    Google Scholar 

  251. Skowron, A., Stepaniuk, J.: Decision Rules Based on Discernibility Matrices and Decision Matrices. In: T.Y. Lin (ed.), Proceedings of The Third International Workshop on Rough Sets and Soft Computing, San Jose, CA, November 10–12, 1994, 156–163.

    Google Scholar 

  252. Skowron, A., Suraj, Z.: A Rough Set Approach to Real-Time State Identification. Bulletin of the EATCS 50 (June 1993), 264–275.

    MATH  Google Scholar 

  253. Skowron, A., Suraj, Z.: Rough Sets and Concurrency. Bulletin of the Polish Academy of Sciences 41–3 (1993), 237–254.

    Google Scholar 

  254. Skowron, A., Suraj, Z.: Synthesis of concurrent systems specified by information systems. Part 1. Institute of Computer Science Research Report 4/93, Warsaw University of Technology, 1993, Poland.

    Google Scholar 

  255. Skowron, A., Suraj, Z.: A rough set approach to real-time state identification for decision making. Institute of Computer Science Research Report 18/93, Warsaw University of Technology, 1993, Poland.

    Google Scholar 

  256. Skowron, A., Suraj, Z.: Synthesis of concurrent systems specified by information systems. Part 2. Examples of synthesis. Institute of Computer Science Research Report 38/93, Warsaw University of Technology, 1993, Poland.

    Google Scholar 

  257. Skowron, A., Suraj, Z.: Synthesis of concurrent systems specified by information systems. Institute of Computer Science Research Report 39/94, Warsaw University of Technology, 1994, Poland.

    Google Scholar 

  258. Skowron, A., Suraj, Z.: Discovery of concurrent data models from experimental data tables: a rough set approach. Institute of Computer Science Research Report 15/95, Warsaw University of Technology, 1995, Poland.

    Google Scholar 

  259. Skowron, A., Suraj, Z.: EmphasisDiscovery of Concurrent Data Models from Experimental Tables: A Rough Set Approach. In: Usama M. Fayyad, Ramasamy Uthurusamy (eds.): Proceedings of the First International Conference on Knowledge Discovery and Data Mining (KDD-95), Montreal, Canada, August 19–21, 1995, The AAAI Press, Menlo Park, 288–293.

    Google Scholar 

  260. Skowron, A., Suraj, Z.: A Parallel Algorithm for Real-Time Decision Making: A Rough Set Approach. Journal of Intelligent Information Systems 7, Kluwer Academic Publishers, Dordrecht, 1996, 5–28.

    Google Scholar 

  261. Slowiński, R. (ed.): Intelligent Decision Support: Handbook of Applications and Advances of the Rough Sets Theory. Kluwer Academic Publishers, Dordrecht, 1992.

    MATH  Google Scholar 

  262. Slowiński, R., Stefanowski, J.: Rough-set reasoning about uncertain data. In: W. Ziarko (ed.): Fundamenta Informaticae 27–2,3 (1996) (special issue), IOS Press, Amsterdam, 229–243.

    Google Scholar 

  263. Smith, D.R.: The synthesis of LISP programs from examples: a survey. In: A. Bierman, G. Guiho, Y. Kodratoff (eds.): Automatic Program Construction Techniques, Macmillan, New York, 1984, 307–324.

    Google Scholar 

  264. Snow, C.R.: Concurrent Programming. Cambridge University Press, 1992.

    Book  MATH  Google Scholar 

  265. Stankovic, JA., Ramamritham, K. (eds.): Advances in Real-Time Systems. IEEE Computer Society Press, Los Alamitos, 1993.

    Google Scholar 

  266. Starke, P.H.: Petri-Netze. VEB Deutscher Verlag der Wissenschaften, Berlin, 1980.

    MATH  Google Scholar 

  267. Starke, PH.: Petri-Netz-Maschine: A Software Tool for Analysis and Validation of Petri Nets. Proceedings of the 2nd International Symposium on Systems Analysis and Simulation, Berlin, 1985, Pergamon, Oxford, 474–475.

    Google Scholar 

  268. Starke, P.H.: On the mutual simulatability of different types of Petri nets. In: K. Voss, H.J. Genrich, G. Rozenberg (eds.): Concurrency and Nets, Special Volume of Advances in Petri Nets, Lecture Notes in Computer Science, SpringerVerlag 1987, Berlin, 481–495.

    Google Scholar 

  269. Starke, PH.: Analyse von Petri-Netz-Modellen. B.G. Teubner, Stuttgart, 1990.

    MATH  Google Scholar 

  270. Starke, P.H., Hanisch,Analysis of Signal/Event-Nets. Proceedings of the 6th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’97), Los Angeles, USA, September, 1997, 253–257.

    Google Scholar 

  271. Starke, PH.: Signal/Event Net Analyzer, Version 0.6. Humboldt University, Berlin, 1998.

    Google Scholar 

  272. Suraj, Z.: A Graphical System for Petri Net Design and Simulation — GRAPH. Petri Net Newsletter No. 35, Special Interest Group on Petri Nets and Related System Models, Gesellschaft für Informatik (GI), Germany, 1990, 32–36.

    Google Scholar 

  273. Suraj, Z.: GRAPH. Petri Net Newsletter No. 41. Special Volume: Petri Net Tools. Overwiew 92, Special Interest Group on Petri Nets and Related System Models, Gesellschaft für Informatik (GI), Germany, 1992, 20–21. Also in: Advances in Petri Nets 1993, Lecture Notes in Computer Science Vol. 674, Springer-Verlag 1993, Berlin, 187–188.

    Google Scholar 

  274. Suraj, Z.: A System for the Design and Analysis of Petri Nets. Institute of Computer Science Research Report 3/93, Warsaw University of Technology, 1993, Poland.

    Google Scholar 

  275. Suraj, Z.: Tools for Generating and Analyzing Concurrent Models Specified by Information Systems. In: T.Y. Lin (ed.): Proceedings of the Third International Workshop on Rough Sets and Soft Computing, San Jose, CA, November 10–12, 1994, 610–617.

    Google Scholar 

  276. Suraj, Z., Komarek, B.: GRAF. Graphical System for Construction and Analysis of Petri Nets. Akademicka Oficyna Wydawnicza PL, Warszawa, 1994, in Polish.

    Google Scholar 

  277. Suraj, Z: EmphasisTools for Generating Concurrent Models Specified by Information Systems. In: T.Y. Lin:A.M. Wildberger (eds.): Soft Computing, Simulation Councils, Inc., The Society for Computer Simulation, San Diego, CA, 1995, 107–110.

    Google Scholar 

  278. Suraj, Z.: PN-tools: Environment for the Design and Analysis of Petri Nets. Control and Cybernetics 24–2 (1995), Systems Research Institute of Polish Academy of Sciences, 199–222.

    Google Scholar 

  279. Suraj, Z.: An Application of Rough Set Methods to Cooperative Information Systems Re-engineering. In: S. Tsumoto, S. Kobayashi, T. Yokomori, H. Tanaka, A. Nakamura (eds.): Proceedings of the Fourth International Workshop on Rough Sets, Fuzzy Sets and Machine Discovery (RSFD-96), Tokyo, Japan, November 6–8, 1996, The Tokyo University Press, 364–371.

    Google Scholar 

  280. Suraj, Z.: Discovery of Concurrent Data Models from Experimental Tables: A Rough Set Approach. Fundamenta Informaticae 28–3,4 (1996), IOS Press, Amsterdam, 353–376.

    Google Scholar 

  281. Suraj, Z., Gąsior, T.: Tools for the Design and Analysis of Concurrent Systems. In: V. Tchaban (ed.): Proceedings of the 1st International Modelling School — Krym’96, Alushta, September 12–17, 1996, Ukraine, 79–81.

    Google Scholar 

  282. Suraj, Z.: Reconstruction of Cooperative Information Systems under Cost Constraints: A Rough Set Approach. In: P. Wang (ed.), Proceedings of the First International Workshop on Rough Sets and Soft Computing (RSSC-97), Relaigh, NC, USA, March 1–5, 1997, 364–371.

    Google Scholar 

  283. Suraj, Z.: Computer Aided Design and Analysis of Concurrent Models Represented by Petri Nets. In: K. Hrubina (ed.), Proceedings of the Scientific Conference with International Participation “Informatics and Mathematics”, Presov, Slovakia, September 4–5, 1997, 65–70.

    Google Scholar 

  284. Suraj, Z.: Reconstruction of Cooperative Information Systems under Cost Constraints: A Rough Set Approach. Journal of Information Sciences 111 (1998), Elsevier Science Publishers, 273–291.

    Article  MATH  Google Scholar 

  285. Suraj, Z.: The Synthesis Problem of Concurrent Systems Specified by Dynamic Information Systems. In: L. Polkowski, A. Skowron (eds.): Rough Sets in Knowledge Discovery 2. Applications, Case Studies and Software Systems. Studies in Fuzziness and Soft Computing, Physica-Verlag 1998, Heidelberg, 418–448.

    Google Scholar 

  286. Suraj, Z.: TAS: Tools for Analysis and Synthesis of Concurrent Processes using Rough Set Methods. In: L. Polkowski, A. Skowron (eds.): Rough Sets in Knowledge Discovery 2. Applications, Case Studies and Software Systems. Studies in Fuzziness and Soft Computing, Physica-Verlag 1998, Heidelberg, 587–590.

    Google Scholar 

  287. Suraj, Z.: Discovery of Communicating Agent Systems from Experimental Data: A Rough Set Approach. In: J. Komorowski, I. Düntsch, A. Skowron (eds.): Proceedings of the 13th European Conference on Artifficial Intelligence (ECAI’98): Workshop on Synthesis of Intelligent Agent Systems from Experimental Data, Brighton, UK, August 24–28, 1998, 76–90.

    Google Scholar 

  288. Suraj, Z.: ROSEPEN: Environment for the Synthesis and Analysis of Concurrent Processes based on Rough Set Methods and Petri Nets. In: S. Tsumoto, Y.Y. Yao, M. Hadjimichael (eds.): Bulletin of International Rough Set Society, Vol. 2, No. 1, June, 1998, 37–39.

    Google Scholar 

  289. Suraj, Z., Szpyrkka, M.: Computer tools for the design and analysis of concurrent systems represented by Petri nets. In: S. Paszczyńński (ed.): Proceedings of 2nd International Conference on Computer Systems and Networks — designing, application, utilization, Rzeszów, Poland, June 25–26, 1998, Zeszyty Naukowe Wyższej Szkoly Informatyki i Zarządzania w Rzeszowie, Nr 6/1998, 163–176.

    Google Scholar 

  290. Suraj, Z.: An Application of Rough Sets and Petri Nets to Controller Design. In: S. Aoshima, L. Polkowski, M. Toho (eds.): Proceedings of the International Conference on Intelligent Techniques in Robotics, Control and Decision Making, February 22–23, 1999, Warsaw, Polish-Japanese Institute of Information Technology, 86–96.

    Google Scholar 

  291. Suraj, Z.: Petri Nets and Rough Sets in Controller Design. In: L. Portinale, R. Valette, D. Zhang (eds.): Proceedings of the Workshop on Application of Petri Nets to Intelligent System Development with 20th International Conference on Applications and Theory of Petri Nets, Williamsburg, USA, June 21–25, 1999.

    Google Scholar 

  292. Suraj, Z., Szpyrka, M.: Petri Nets and PN-tools. Tools for the Construction and Analysis of Petri Nets, Pedagogical University Publisher, Rzeszów, 1999, in Polish.

    Google Scholar 

  293. Szladow, A.J., Ziarko, W.P.: Knowledge-based process control using rough sets. In: R. Slowińiski (ed.): Intelligent Decision Support: Handbook of Applications and Advances of Rough Sets Theory, Kluwer Academic Publishers 1992, Dordrecht, 49–60.

    Google Scholar 

  294. Terano, T., Asai, K., Sugeno, M.: Fuzzy Systems: Theory and Its Applications. Academic Press, San Diego, 1992.

    MATH  Google Scholar 

  295. Thiagarajan, P.S.: Elementary Net Systems. In: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties. Advances in Petri Nets 1986 Part I, Lecture Notes in Computer Science Vol. 254, Springer-Verlag 1987, Berlin, 26–59.

    Chapter  Google Scholar 

  296. Valette, R., Bakko, B.: Software implementation of Petri nets and compilation of rule-based systems. In: Advances in Petri Nets 1991. Lecture Notes in Computer Science Vol. 524, Springer-Verlag 1991, Berlin, 296–316.

    Chapter  Google Scholar 

  297. Valette, R., Courvoisier, M.: Petri nets and artificial intelligence. Proceedings of International Workshop on Emerging Technologies for Factory Automation, North Queensland, Australia, 1992. Also in: R. Żurawski, T. Dillon (eds.), Modern Tools for Manufacturing Systems, Elsevier, 1993, 385–405.

    Google Scholar 

  298. Valk, R.: Self-Modifying Nets: a Natural Extension of Petri Nets. In: G. Ausiello, C. Bohm (eds.): Automata, Languages and Programming, Lecture Notes in Computer Science Vol. 62, Springer-Verlag 1978, Berlin, 464–476.

    Chapter  Google Scholar 

  299. Varma, D., Trachtenberg, E.A.: Design automation tools for efficient implementation of logic functions by decomposition. IEEE Transactions on CAD, Vol. 8–8, 1989, 901–916.

    Google Scholar 

  300. Vasiliev, V., Kuzmuk, V.V.: Petri Nets, Parallel Algorithms and Models of Multiprocessor Systems. Naukova Dumka, Kiev, USSR, 1990, in Russian.

    Google Scholar 

  301. Viswanadham, N., Narahari, Y.: Performance Modeling of Automated Manufacturing Systems, Prentice-Hall, Englewood Cliffs, 1992.

    Google Scholar 

  302. Voss, K., Genrich, H.J., Rozenberg, G. (eds.): Concurrency and Nets. Advances in Petri Nets, Springer-Verlag 1987, Berlin.

    MATH  Google Scholar 

  303. Wang, J.: Timed Petri Nets: Theory and Application. Kluwer Academic Publishers, Dordrecht, 1998.

    MATH  Google Scholar 

  304. Warfield, J.N.: Societal Systems: Planning, Policy and Complexity, Wiley, New York, 1976.

    Google Scholar 

  305. Wasserman, P.D.: Advanced Methods in Neural Computing. van Nostrand Reinhold, 1993.

    MATH  Google Scholar 

  306. Wegener, I.: The complexity of Boolean functions. Wiley and B.G. Teubner, Stuttgart, 1987.

    MATH  Google Scholar 

  307. Winkowski, J.: An Algebraic Description of System Behaviours., Theoretical Computer Science, Vol. 21, 1982, 315–340.

    Article  MathSciNet  MATH  Google Scholar 

  308. Winkowski, J.: An Algebraic Way of Defining the Behaviour of Place/Transition Petri Nets. Petri Net Newsletter No. 33, Bonn, Special Interest Group on Petri Nets and Related System Models, August 1989.

    Google Scholar 

  309. Winkowski, J., Maggiolo-Schettini, A.: An Algebra of Processes., Journal of Computer and System Sciences, Vol. 35–2, 1987, 206–228.

    Article  MathSciNet  Google Scholar 

  310. Winkowski, J.: Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets., Fundamenta Informaticae, Vol. 28–3,4 (1996), 403–422.

    MathSciNet  Google Scholar 

  311. Winskel, G.: Events in computation. Ph.D. Thesis, Depertment of Computer Science, University of Edinburg, 1980.

    Google Scholar 

  312. Winskel, G.: Event structures. In: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Applications and Relationships to Other Models of Concurrency. Advances in Petri Nets 1986 Part II, Lecture Notes in Computer Science Vol. 255, Springer-Verlag 1987, Berlin, 325–392.

    Chapter  Google Scholar 

  313. Winskel, G., Nielsen, M.: Models for Concurrency. In: S. Abramsky et al. (eds.), Hanbook of Logic in Computer Science Vol. 4, Oxford University Press, 1995, 1–148.

    Google Scholar 

  314. Winston, PH.: Artificial Intelligence. Third Edition, Addison-Wesley, Reading, 1992.

    Google Scholar 

  315. Yager, R., Fedrizzi, M., Kacprzyk, J. (eds.): Advances in the Dempster-Shafer Theory of Evidence. Wiley, New York, 1994.

    MATH  Google Scholar 

  316. Zadeh, L.A.: Fuzzy sets. Information and Control 8 (1965), 338–353.

    Article  MathSciNet  MATH  Google Scholar 

  317. Zadeh, L.A.: Fuzzy logic = computing with words. IEEE Transactions on Fuzzy Systems 4–2 (1996), 103–111.

    Article  Google Scholar 

  318. Zadeh, L.A.: Toward a theory of fuzzy information granulation and its certainty in human reasoning and fuzzy logic. Fuzzy Sets and Systems 90–2 (1997), 111–128.

    Article  MathSciNet  Google Scholar 

  319. Zembowicz, R., Żytkow, J.M.: Discovery of Equations: Experimental Evaluation of Convergence. Proceedings of the AAAI-92, The AAAI Press, Menlo Park, 1992, 70–75.

    Google Scholar 

  320. Zhang, D.: Planning with Pr/T nets. In: Proceedings of the IEEE International Conference on Robotics and Automation, Sacramento, CA, 1991, 769–775.

    Google Scholar 

  321. Zhou, M.C., DiCesare, F.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, Dordrecht, 1993.

    Book  MATH  Google Scholar 

  322. Ziarko, W.P.: Acquisition of control algorithms from operation data. In: R. Słowiński (ed.): Intelligent Decision Support: Handbook of Applications and Advances of Rough Sets Theory, Kluwer Academic Publishers 1992, Dordrecht, 61–75.

    Google Scholar 

  323. Ziarko, W.P. (ed.): Proceedings of the International Workshop on Rough Sets and Knowledge Discovery (RSKD’93), Banff, Canada, October 11–15, 1993.

    Google Scholar 

  324. Zimmermann, H.J.: Fuzzy Set Theory and Its Applications. Kluwer Academic Publishers, Boston, 1985.

    Google Scholar 

  325. Zuberek, W.M.: Timed Petri Nets, Definitions, Properties, and Applications. Microelektronics and Reliability, Vol. 31, No. 4, 1991, 627–644.

    Article  Google Scholar 

  326. Zuse, K.: Anwendungen von Petri-Netzen. Vieweg, Braunschweig/Wiesbaden, 1982.

    MATH  Google Scholar 

  327. Żurawski, R., Zhou, M.C.: Special issue on Petri nets in manufacturing. IEEE Trans. on Industrial Electronics, Vol. 41–6, 1994.

    Google Scholar 

  328. Żytkow, J.: Interactive mining of regularities in databases. In: G. PiatetskyShapiro, W. Frawley (eds.), Knowledge discovery in databases, The AAAI Press, Menlo Park, 1991.

    Google Scholar 

  329. Żytkow, J.M. (ed.): Proceedings of the ML-92 Workshop on Machine Discovery (MD-92), Aberdeen, Scotland, UK, July 4, 1992, NIAR Report 92–12, National Institute for Aviation Research, The Wichita State University, Wichita, Kansas, 1992, USA.

    Google Scholar 

  330. Żytkow, J.: Introduction: Cognitive Autonomy in Machine Discovery, Machine Learning, Vol. 12, 1993, Kluwer Academic Publishers, Boston, 7–16.

    Google Scholar 

  331. Żytkow, J., Zembowicz, R.: Database Exploration in Search of Regularities, Journal of Intelligent Information Systems, Vol. 2, 1993, Kluwer Academic Publishers, Boston, 39–81.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Pedagogical University of Rzeszów, Rejtana 16A, 35-310, Rzeszów, Poland

    Bigniew Suraj

Authors
  1. Bigniew Suraj
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Information Sciences, Warsaw University of Technology, Pl. Politechnik 1, 00650, Warsaw, Poland

    Lech Polkowski

  2. Department of Medical Informatics, Shinmane Medical University, 89-1 Enya-cho, 693-8501, Izumo City, Shimane, Japan

    Shusaku Tsumoto

  3. Department of Mathematics and Computer Science, San Jose State University, San Jose, CA, 95192, USA

    Tsau Y. Lin

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Physica-Verlag Heidelberg

About this chapter

Cite this chapter

Suraj, B. (2000). Rough Set Methods for the Synthesis and Analysis of Concurrent Processes. In: Polkowski, L., Tsumoto, S., Lin, T.Y. (eds) Rough Set Methods and Applications. Studies in Fuzziness and Soft Computing, vol 56. Physica, Heidelberg. https://doi.org/10.1007/978-3-7908-1840-6_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-7908-1840-6_8

  • Publisher Name: Physica, Heidelberg

  • Print ISBN: 978-3-662-00376-3

  • Online ISBN: 978-3-7908-1840-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation