Using Coloured Petri Nets to Model and Verify Telecommunications Systems.
Valery A. NepomniaschyDmitri M. BeloglazovTatiana G. ChurinaMikhail MashukovPublished in: CSR (2008)
Keyphrases
- management system
- formal model
- neural network model
- prediction model
- decision making
- computational models
- probabilistic model
- distributed systems
- database
- parameter estimation
- knowledge based systems
- conceptual model
- experimental data
- statistical model
- mathematical model
- computational model
- intelligent systems
- knowledge base
- e learning
- computer vision
- neural network