-
1
-
-
0026120365
-
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
-
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
-
3
-
-
0025485332
-
Knowledge representation using fuzzy petri nets
-
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.
-
(1990)
IEEE Transactions on Knowledge and Data Engineering
, vol.2
, Issue.3
, pp. 311-319
-
-
Chen, S.-M.1
Ke, J.-S.2
Chang, J.-F.3
-
4
-
-
9444220188
-
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
-
5
-
-
33744958603
-
A petri net system - An overview
-
L. Polkowski (Ed.), Warsaw, Poland, November 26, 2004, Polish-Japanese Institute of Information Technology, Warsaw
-
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.
-
(2004)
Proceedings of the International Workshop on Theory and Applications of Soft Computing (TASC'04)
-
-
Fryc, B.1
Makara, Z.2
Pancerz, K.3
Suraj, Z.4
-
6
-
-
9444220283
-
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
-
7
-
-
0003871155
-
-
Springer, Berlin, 1995
-
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1,2,3, Springer, Berlin, 1992,1995,1997.
-
(1992)
Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1,2,3
, vol.1-3
-
-
Jensen, K.1
-
8
-
-
0023868245
-
Fuzzy petri nets for rule-based decision-making
-
Looney, C.G.: Fuzzy Petri Nets for Rule-Based Decision-making. IEEE Transactions on Systems, Man, and Cybernetics 18-1 (1988), 178-183.
-
(1988)
IEEE Transactions on Systems, Man, and Cybernetics
, vol.18
, Issue.1
, pp. 178-183
-
-
Looney, C.G.1
-
9
-
-
0017001923
-
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
-
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
-
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
-
14
-
-
0032666844
-
Approximate real-time decision making: Concepts and rough fuzzy petri net models
-
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.
-
(1998)
International Journal of Intelligent Systems
, vol.14
, Issue.4
, pp. 4-37
-
-
Peters, J.F.1
Skowron, A.2
Suraj, Z.3
Pedrycz, W.4
Ramanna, S.5
-
15
-
-
0004068620
-
-
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
-
-
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
-
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
-
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
-
19
-
-
0008917399
-
A synthesis of decision rules: Appications of discernibility matrices
-
Augustow, Poland
-
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.
-
(1993)
Proceedings of a Workshop on Intelligent Information Systems, Practical Aspects of AI II
, pp. 30-46
-
-
Skowron, A.1
-
20
-
-
0030242350
-
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
|