Keyphrases
- tcp ip
- remote server
- wide area network
- lightweight
- real time
- coloured petri nets
- processing times
- formal analysis
- communication protocols
- cryptographic protocols
- neural network
- file transfer
- job search
- communication protocol
- security analysis
- flowshop
- smart card
- network protocols
- petri net
- scheduling problem
- control system