-
1
-
-
36949025668
-
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
-
L. Amorim, P. Maciel, M. Nogueira, R. Barreto, and E. Tavares. Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. SIGSOFT Softw. Eng. Notes, 31(3):1-25, 2006.
-
(2006)
SIGSOFT Softw. Eng. Notes
, vol.31
, Issue.3
, pp. 1-25
-
-
Amorim, L.1
Maciel, P.2
Nogueira, M.3
Barreto, R.4
Tavares, E.5
-
2
-
-
56349128072
-
A new formalism for failure diagnosis: Ant colony decision petri nets
-
Vienna, Austria, April
-
C. Ciufudean., A. Graur., C. Filote., and C. Turcu. A new formalism for failure diagnosis: Ant colony decision petri nets. Proceedings of the IEEE International Conference on ARES, Vienna, Austria, April 2006.
-
(2006)
Proceedings of the IEEE International Conference on ARES
-
-
Ciufudean, C.1
Graur, A.2
Filote, C.3
Turcu, C.4
-
4
-
-
56349155871
-
The minimal cost algorithm for off-line diagnosability of discrete event systems department of mathematics
-
abril
-
Z. Fan. The minimal cost algorithm for off-line diagnosability of discrete event systems department of mathematics. Zhongshan University, Guangzhou 510275, China, abril 2007.
-
(2007)
Zhongshan University, Guangzhou 510275, China
-
-
Fan, Z.1
-
7
-
-
57849145332
-
Fault diagnosis with coloured petri nets using latent nestling method
-
Junio
-
E. García., L. Rodríguez., F. Morant., A. Correcher., E. Quiles., and R. Blasco. Fault diagnosis with coloured petri nets using latent nestling method. Proceedings of ISIE08 Cambridge UK, Junio 2008.
-
(2008)
Proceedings of ISIE08 Cambridge UK
-
-
García, E.1
Rodríguez, L.2
Morant, F.3
Correcher, A.4
Quiles, E.5
Blasco, R.6
-
9
-
-
0003277883
-
Coloured Petri Nets 1: Basic Concepts, Analysis Methods and Practical Use
-
Springer-Verlag, Berlin, Germany
-
K. Jensen. Coloured Petri Nets 1: Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Germany, 1992.
-
(1992)
EATCS Monographs on Theoretical Computer Science
-
-
Jensen, K.1
-
10
-
-
84890796503
-
-
F. Lin and T. Lin. Diagnosability of Discrete Event Systems and Its Applications to Circuit Testing, 4. Department of Electrical and Computer Engineering Wayne State University, Detroit., may de 1994.
-
F. Lin and T. Lin. Diagnosability of Discrete Event Systems and Its Applications to Circuit Testing, volume 4. Department of Electrical and Computer Engineering Wayne State University, Detroit., may de 1994.
-
-
-
-
11
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
Apr
-
T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, Apr 1989.
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
13
-
-
0030109707
-
Failure diagnosis using discrete-event models
-
Mar
-
M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. Control Systems Technology, IEEE Transactions on, 4(2):105-124, Mar 1996.
-
(1996)
Control Systems Technology, IEEE Transactions on
, vol.4
, Issue.2
, pp. 105-124
-
-
Sampath, M.1
Sengupta, R.2
Lafortune, S.3
Sinnamohideen, K.4
Teneketzis, D.5
-
14
-
-
0024035093
-
-
Ulerich and G. Powers. On-line hazard aversion and fault diagnosis in chemical processes. IEEE Trans. Reliability, 37:171-177, 1988.
-
Ulerich and G. Powers. On-line hazard aversion and fault diagnosis in chemical processes. IEEE Trans. Reliability, 37:171-177, 1988.
-
-
-
-
15
-
-
2942585412
-
Case-based reasoning system with petri nets for induction motor fault diagnosis
-
August
-
B. Yang., S. Jeong., Y. Oh, and A. C. Tan. Case-based reasoning system with petri nets for induction motor fault diagnosis. Expert Systems with Applications, 27:301-311, August 2004.
-
(2004)
Expert Systems with Applications
, vol.27
, pp. 301-311
-
-
Yang, B.1
Jeong, S.2
Oh, Y.3
Tan, A.C.4
|