Author Info
Name
Affiliation
Papers
SOMSAK VANIT-ANUNCHAI
University of South Australia, Computer Systems Engineering Centre, School of Electrical and Information Engineering, Mawson Lakes Campus, 5095, Adelaide, SA, Australia
13
Collaborators
Citations 
PageRank 
9
53
6.52
Referers 
Referees 
References 
50
116
120
Search Limit
100116
Title
Citations
PageRank
Year
Modelling and simulating a Thai railway signalling system using Coloured Petri Nets.30.442018
Validating Dccp Simultaneous-Open And Feature Negotiation Procedures00.342017
Experience Using Coloured Petri Nets To Model Railway Interlocking Tables20.672014
Validating SCTP Simultaneous Open Procedure.10.352013
Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures.10.352013
Modelling railway interlocking tables using coloured petri nets30.462010
Parameterised Coloured Petri Net Channel Models40.402009
Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method90.492008
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol20.512008
Checking safety properties on-the-fly with the sweep-line method100.582007
Modelling the datagram congestion control protocol's connection management and synchronization procedures60.532007
Effect of Sequence Number Wrap on DCCP Connection Establishment40.502006
Discovering chatter and incompleteness in the datagram congestion control protocol80.892005