Timed Approximate Petri Nets

• Autorzy: Suraj Z. , Fryc B.
• Języki publikacji: EN

Abstrakty

EN

Time is one of the most important considerations in designing practical systems. The notion of time plays a vital role in performance evaluation of real-time systems. A new class of timed approximate Petri nets (TAP-nets) is proposed in the paper. This net model combines high-level Petri nets with time and uncertain information. The approach presented in the paper for modelling of uncertainty, imprecision and vagueness is based on rough set theory and fuzzy Petri nets. The TAP-nets can be used for modelling and evaluating of approximate reasoning used to build expert systems, control systems, communication systems, etc. The main advantage of modelling practical systems using the TAP-nets is that the resulting models are simple, intuitive and allow the system analyst to evaluate the performance of such system models.

Słowa kluczowe

EN

approximate reasoning; approximate Petri nets; decision systems

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 71, nr 1
• Strony: 83--99
• Opis fizyczny: tab., wykr., bibliogr. 20 poz.

Twórcy

autor

Suraj Z.

autor

Fryc B.

• Chair of Foundations of Computer Science, University of Information Technology and Management, H.Sucharskiego 2, 35-225 Rzeszów, Poland,

Bibliografia

• [1] Berthomieu, B., Diaz, M.: Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering, Vol. 17, No. 3, March 1991.
• [2] Cardoso, J: Time Fuzzy Petri Nets, in: J. Cardoso, H. Camargo (Eds.), Fuzzines in Petri Nets, Studies in Fuzzines and Soft Computing, Vol.22, Physica-Verlag, Heidelberg, 1999, pp. 115-145.
• [3] Chen, S.-M., Ke, J.-S., Chang, J.-F.: Knowledge Representation Using Fuzzy Petri Nets. IEEE Transactions on Knowledge and Data Engineering, Vol. 2, No. 3, 1990, 311-319.
• [4] Fedrizzi, M., Kacprzyk, J.: A Brief Introduction to Fuzzy Sets and Fuzzy Systems. In: J. Cardoso, H. Camargo (Eds.), Fuzziness in Petri Nets, Studies in Fuzzines and Soft Computing, Vol.22, Physica-Verlag, Heidelberg, 1999, pp. 25-51.
• [5] Fryc, B., Makara, Z., Pancerz, K., Suraj, Z.: A Petri Net System - an overview, in: Proceedings of the International Workshop on Theory and Applications of Soft Computing (TASC'04), L. Polkowski (Ed.), Warsaw, Poland, November 26, 2004, Polish-Japanese Institute of Information Technology,Warsaw 2004.
• [6] Fryc, B., Pancerz, K., Suraj, Z.: Approximate Petri Nets for Rule-Based Decision Making, in: S. Tsumoto et al. (Eds.), Proceedings of the 4th International Conference on Rough Sets and Current Trends in Computing, Uppsala, Sweden, June 1-5, Lecture Notes in Artificial Intelligence, Vol. 3066, Springer-Verlag, Berlin, 2004, pp. 733-742.
• [7] Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol.1,2,3, Springer, Berlin, 1992,1995,1997.
• [8] Looney, C.G.: Fuzzy Petri Nets for Rule-Based Decision-making. IEEE Transactions on Systems, Man, and Cybernetics 18-1 (1988), 178-183.
• [9] Merlin, P. M., Farber, D. J.: Recoverability of Communication Protocols - Implementations of a Theoretical Study. IEEE Transactions on Communications, September 1976, 1036 - 1043.
• [10] Murata, T.: Petri Nets: Properties, Analysis and Applications, in: Proceedings of the IEEE, Vol. 77, No. 4, April 1989, pp. 541-580.
• [11] Pancerz, K., Suraj, Z.: Discovering Concurrent Models from Data Tables with the ROSECON System. Fundamenta Informaticae, Vol. 60 (1-4), IOS Press, Amsterdam, 2004, pp. 251-268.
• [12] Pawlak, Z.: Rough Sets. International Journal of Computer and Information Sciences 11 (1982), 341-356.
• [13] Pawlak, Z.: Rough Sets - Theoretical Aspects of Reasoning About Data. Kluwer Academic Publishers, Dordrecht, 1991.
• [14] 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.
• [15] Petri, C.A.: Kommunikation mit Automaten. Schriften des IIM Nr. 2, Institut f¨ur Instrumentelle Mathematik, Bonn, 1962. Also in: Communication with Automata (in English). Griffiss Air Force Base, New York Technical Report RADC-TR-65-377, Vol. 1, Suppl. 1, 1966.
• [16] Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Petri Nets. Project MAC, MAC-TR 120, MIT 1974 (Ph.D. thesis).
• [17] Samolej, S., Szmuc, T.: Time extensions of Petri nets for modelling and verification of hard real-time systems, Vol. 4, Computer Science, 2002, 55-76.
• [18] Skowron, A.: A Synthesis of Decision Rules: Appications of Discernibility Matrices. Proceedings of a Workshop on Intelligent Information Systems, Practical Aspects of AI II, 1993, Augustow, Poland, 30-46.
• [19] 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.
• [20] Zadeh, L.: Fuzzy sets. Information and Control 8 (1965), 338-353.