Modelling railway interlocking tables using coloured petri nets S Vanit-Anunchai Coordination Models and Languages: 12th International Conference …, 2010 | 42 | 2010 |
Verification of railway interlocking tables using coloured Petri nets S Vanit-Anunchai the tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and …, 2009 | 20 | 2009 |
Modelling and simulating a Thai railway signalling system using Coloured Petri Nets S Vanit-Anunchai International Journal on Software Tools for Technology Transfer 20, 243-262, 2018 | 18 | 2018 |
Discovering chatter and incompleteness in the Datagram Congestion Control Protocol S Vanit-Anunchai, J Billington, T Kongprakaiwoot Formal Techniques for Networked and Distributed Systems-FORTE 2005: 25th …, 2005 | 18 | 2005 |
Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method S Vanit-Anunchai, J Billington, GE Gallasch International Journal on Software Tools for Technology Transfer 10 (1), 29-56, 2008 | 15 | 2008 |
Checking safety properties on-the-fly with the sweep-line method GE Gallasch, J Billington, S Vanit-Anunchai, LM Kristensen International Journal on Software Tools for Technology Transfer 9 (3), 371-391, 2007 | 15 | 2007 |
Experience using coloured petri nets to model railway interlocking tables S Vanit-Anunchai arXiv preprint arXiv:1407.3891, 2014 | 14 | 2014 |
Parameterised coloured Petri net channel models J Billington, S Vanit-Anunchai, GE Gallasch Transactions on Petri Nets and Other Models of Concurrency III, 71-97, 2009 | 13 | 2009 |
Initial result of a formal analysis of DCCP connection management S Vanit-Anunchai, J Billington Proceedings of INC, 63-70, 2004 | 12 | 2004 |
Coloured Petri net modelling of an evolving Internet standard: The datagram congestion control protocol J Billington, S Vanit-Anunchai Fundamenta Informaticae 88 (3), 357-385, 2008 | 10 | 2008 |
Towards formal modelling and analysis of SCTP connection management S Vanit-Anunchai Proceedings of the Ninth Workshop and Tutorial on Practical Use of Coloured …, 2008 | 8 | 2008 |
Modelling the Datagram Congestion Control Protocol’s connection management and synchronization procedures S Vanit-Anunchai, J Billington Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007 | 8 | 2007 |
Checking language inclusion on-the-fly with the sweep-line method GE Gallasch, S Vanit-Anunchai, J Billington, LM Kristensen Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the …, 2005 | 6 | 2005 |
Railway network modeling using building block of timed coloured petri nets N Songwiroj, W Vatanawood, S Vanit-Anunchai 2018 IEEE 4th International Conference on Computer and Communications (ICCC …, 2018 | 5 | 2018 |
Application of coloured petri nets in modelling and simulating a railway signalling system S Vanit-Anunchai Critical Systems: Formal Methods and Automated Verification: Joint 21st …, 2016 | 5 | 2016 |
An Investigation of the Datagram Congestion Control Protocol's Connection Management and Synchronisation Procedures S Vanit-Anunchai University of South Australia, 2007 | 5 | 2007 |
Sweep-line analysis of DCCP connection management S Vanit-Anunchai, J Billington, GE Gallasch University of Aarhus, 2006 | 5 | 2006 |
Effect of sequence number wrap on DCCP connection establishment S Vanit-Anunchai, J Billington 14th IEEE International Symposium on Modeling, Analysis, and Simulation, 345-354, 2006 | 5 | 2006 |
Modelling dynamic influence diagrams using coloured petri nets S Vanit-Anunchai Society for Modeling and Simulation International, 2005 | 5 | 2005 |
Validating DCCP simultaneous feature negotiation procedure S Vanit-Anunchai Transactions on Petri Nets and Other Models of Concurrency XI, 71-91, 2016 | 4 | 2016 |