메뉴 건너뛰기




Volumn 71, Issue 1, 2006, Pages 83-99

Timed approximate petri nets

Author keywords

Approximate Petri nets; Approximate reasoning; Decision systems

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER SIMULATION; CONTROL SYSTEMS; EXPERT SYSTEMS; FUZZY SETS; MATHEMATICAL MODELS; REAL TIME SYSTEMS; ROUGH SET THEORY;

EID: 33744949491     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (10)

References (21)
  • 1
    • 0026120365 scopus 로고
    • Modeling and verification of time dependent systems using time petri nets
    • March
    • 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.
    • (1991) IEEE Transactions on Software Engineering , vol.17 , Issue.3
    • Berthomieu, B.1    Diaz, M.2
  • 2
    • 1442360717 scopus 로고    scopus 로고
    • Time fuzzy petri nets
    • J. Cardoso, H. Camargo (Eds.), Physica-Verlag, Heidelberg
    • 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.
    • (1999) Fuzzines in Petri Nets, Studies in Fuzzines and Soft Computing , vol.22 , pp. 115-145
    • Cardoso, J.1
  • 4
    • 9444220188 scopus 로고    scopus 로고
    • A brief introduction to fuzzy sets and fuzzy systems
    • J. Cardoso, H. Camargo (Eds.), Physica-Verlag, Heidelberg
    • 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.
    • (1999) Fuzziness in Petri Nets, Studies in Fuzzines and Soft Computing , vol.22 , pp. 25-51
    • Fedrizzi, M.1    Kacprzyk, J.2
  • 6
    • 9444220283 scopus 로고    scopus 로고
    • Approximate petri nets for rule-based decision making
    • S. Tsumoto et al. (Eds.), Proceedings of the 4th International Conference on Rough Sets and Current Trends in Computing, Uppsala, Sweden, June 1-5, Springer-Verlag, Berlin
    • 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.
    • (2004) Lecture Notes in Artificial Intelligence , vol.3066 , pp. 733-742
    • Fryc, B.1    Pancerz, K.2    Suraj, Z.3
  • 9
    • 0017001923 scopus 로고
    • Recoverability of communication protocols - Implementations of a theoretical study
    • September
    • Merlin, P. M., Farber, D. J.: Recoverability of Communication Protocols - Implementations of a Theoretical Study. IEEE Transactions on Communications, September 1976, 1036-1043.
    • (1976) IEEE Transactions on Communications , pp. 1036-1043
    • Merlin, P.M.1    Farber, D.J.2
  • 10
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • April
    • Murata, T.: Petri Nets: Properties, Analysis and Applications, in: Proceedings of the IEEE, Vol. 77, No. 4, April 1989, pp. 541-580.
    • (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 11
    • 2942716990 scopus 로고    scopus 로고
    • Discovering concurrent models from data tables with the ROSECON system
    • IOS Press, Amsterdam
    • 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.
    • (2004) Fundamenta Informaticae , vol.60 , Issue.1-4 , pp. 251-268
    • Pancerz, K.1    Suraj, Z.2
  • 15
    • 0004068620 scopus 로고
    • Schriften des IIM Nr. 2, Institut für Instrumentelle Mathematik, Bonn
    • Petri, C.A.: Kommunikation mit Automaten. Schriften des IIM Nr. 2, Institut für Instrumentelle Mathematik, Bonn, 1962.
    • (1962) Kommunikation mit Automaten
    • Petri, C.A.1
  • 16
    • 33744951240 scopus 로고
    • Griffiss Air Force Base, New York Technical Report RADC-TR-65-377
    • Also in: Communication with Automata (in English). Griffiss Air Force Base, New York Technical Report RADC-TR-65-377, Vol. 1, Suppl. 1, 1966.
    • (1966) Communication with Automata (In English) , vol.1 , Issue.1 SUPPL.
  • 17
    • 0003576234 scopus 로고
    • Analysis of asynchronous concurrent systems by petri nets
    • Project MAC, MIT (Ph.D. thesis)
    • Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Petri Nets. Project MAC, MAC-TR 120, MIT 1974 (Ph.D. thesis).
    • (1974) MAC-TR , vol.120
    • Ramchandani, C.1
  • 18
    • 11144311693 scopus 로고    scopus 로고
    • Time extensions of Petri nets for modelling and verification of hard real-time systems
    • 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.
    • (2002) Computer Science , vol.4 , pp. 55-76
    • Samolej, S.1    Szmuc, T.2
  • 20
    • 0030242350 scopus 로고    scopus 로고
    • A parallel algorithm for real-time decision making: A rough set approach
    • Kluwer Academic Publishers, Dordrecht
    • 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.
    • (1996) Journal of Intelligent Information Systems , vol.7 , pp. 5-28
    • Skowron, A.1    Suraj, Z.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.