메뉴 건너뛰기




Volumn 92, Issue 1-2, 1997, Pages 289-300

Higher-order Petri net models based on artificial neural networks

Author keywords

Higher order Petri nets; Neural networks; Polynomial clause program

Indexed keywords

FORMAL LOGIC; LOGIC PROGRAMMING; MATHEMATICAL MODELS; PETRI NETS; POLYNOMIALS; SET THEORY; THEOREM PROVING;

EID: 0031145246     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(96)00048-3     Document Type: Article
Times cited : (12)

References (10)
  • 1
    • 0029324816 scopus 로고
    • Petri net models of fuzzy neural networks
    • S.I. Ahson, Petri net models of fuzzy neural networks, IEEE Trans. Syst. Man Cybern. 25 (1995) 926-932.
    • (1995) IEEE Trans. Syst. Man Cybern. , vol.25 , pp. 926-932
    • Ahson, S.I.1
  • 2
    • 0025898312 scopus 로고
    • Dualistic geometry of the manifold of higher-order neurons
    • S.I. Amari, Dualistic geometry of the manifold of higher-order neurons, Neural Networks 4 (1991) 443-451.
    • (1991) Neural Networks , vol.4 , pp. 443-451
    • Amari, S.I.1
  • 3
    • 0023513717 scopus 로고
    • Learning, invariance, and generalization in high-order neural networks
    • C.L. Giles and T. Maxwell, Learning, invariance, and generalization in high-order neural networks, Appl. Optics 26 (1987) 4972-4978.
    • (1987) Appl. Optics , vol.26 , pp. 4972-4978
    • Giles, C.L.1    Maxwell, T.2
  • 4
    • 0025636776 scopus 로고
    • Neuron type processor modelling using a timed Petri net
    • M.K. Habib and R.W. Newcomb, Neuron type processor modelling using a timed Petri net, IEEE Trans. Neural Networks 1 (1990) 282-289.
    • (1990) IEEE Trans. Neural Networks , vol.1 , pp. 282-289
    • Habib, M.K.1    Newcomb, R.W.2
  • 6
    • 0030354508 scopus 로고    scopus 로고
    • Functional approximation of higher-order neural networks
    • to appear
    • J.Y. Li and T.W.S. Chow, Functional approximation of higher-order neural networks, J. Intell. Syst. (to appear).
    • J. Intell. Syst.
    • Li, J.Y.1    Chow, T.W.S.2
  • 8
    • 0024645936 scopus 로고
    • Petri nets: Properties, analyses and applications
    • T. Murata, Petri nets: properties, analyses and applications, Proc. IEEE 77 (1989) 541-580.
    • (1989) Proc. IEEE , vol.77 , pp. 541-580
    • Murata, T.1
  • 9
    • 0024611746 scopus 로고
    • Proof procedure and answer extraction in Petri net model of logic programs
    • G. Peterka and T. Murata, Proof procedure and answer extraction in Petri net model of logic programs, IEEE Trans. Softw. Eng. 15 (1989) 209-217.
    • (1989) IEEE Trans. Softw. Eng. , vol.15 , pp. 209-217
    • Peterka, G.1    Murata, T.2


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