Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN.
D. J. FloreaniJonathan BillingtonA. J. DadejPublished in: Application and Theory of Petri Nets (1996)
Keyphrases
- coloured petri nets
- formal verification
- engineering design
- neural network
- case study
- building blocks
- collaborative learning
- user interface design
- optimal design
- conceptual model
- software architecture
- design process
- database
- artificial neural networks
- decision trees
- website
- information systems
- information retrieval
- data sets
- real time