Verification and validation of a Neural-Symbolic Hybrid System using an enhanced Petri net.
Ricardo R. JorgeGerardo Reyes SalgadoVianey Guadalupe Cruz SánchezPublished in: IEEE ICCI (2008)
Keyphrases
- petri net
- petri net model
- colored petri nets
- concurrent systems
- connectionist models
- neural learning
- manufacturing systems
- network architecture
- service composition
- neural network
- high level petri nets
- discrete event systems
- fuzzy petri net
- symbolic representation
- web service composition
- stochastic petri net
- production process
- model checking
- artificial neural networks
- expert systems
- decision making
- sequence diagrams
- artificial intelligence