|
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;
HIGHER ORDER PETRI NETS (HOPN);
POLYNOMIAL CLAUSE PROGRAM;
NEURAL NETWORKS;
|
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)
|