Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets.
Lalita ThampibalWiwat VatanawoodPublished in: ICIT (2019)
Keyphrases
- coloured petri nets
- petri net
- complex networks
- genetic algorithm
- control system
- network structure
- network design
- network model
- network traffic
- distributed network
- mobile communication
- formal verification
- finite state machines
- network architecture
- coarse to fine
- computer networks
- real time
- end to end
- hierarchical structure
- peer to peer
- sensor networks
- data sets