Somsak Vanit-Anunchai

19 papers B 1C 2Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Solving Combinatorial Problems using Coloured Petri Nets.
PNSE/ATAED/PeNGE@PETRI NETS
Somsak Vanit-Anunchai
2024 — conf
Solving Puzzles using Coloured Petri Nets.
PeNGE@Petri Nets
Somsak Vanit-Anunchai
2023 — conf
Teaching Low-Code Formal Methods with Coloured Petri Nets.
FMTea
Somsak Vanit-Anunchai
2018 J jnl
Modelling and simulating a Thai railway signalling system using Coloured Petri Nets.
Int. J. Softw. Tools Technol. Transf.
Somsak Vanit-Anunchai
2017 J jnl
Validating DCCP Simultaneous-Open and Feature Negotiation Procedures.
IEICE Trans. Inf. Syst.
Somsak Vanit-Anunchai
2016 — conf
Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System.
FMICS-AVoCS
Somsak Vanit-Anunchai
2016 J jnl
Validating DCCP Simultaneous Feature Negotiation Procedure.
Trans. Petri Nets Other Model. Concurr.
Somsak Vanit-Anunchai
2015 — conf
Validating DCCP Simultaneous Feature Negotiation Procedure.
PNSE @ Petri Nets
Somsak Vanit-Anunchai
2014 — conf
Experience using Coloured Petri Nets to Model Railway Interlocking Tables.
FSFMA
Somsak Vanit-Anunchai
2013 — conf
Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures.
FSFMA
Somsak Vanit-Anunchai
2013 — conf
Validating SCTP Simultaneous Open Procedure.
FSEN
Somsak Vanit-Anunchai
2010 C conf
Modelling Railway Interlocking Tables Using Coloured Petri Nets.
COORDINATION
Somsak Vanit-Anunchai
2009 J jnl
Parameterised Coloured Petri Net Channel Models.
Trans. Petri Nets Other Model. Concurr.
Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch
2008 J jnl
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method.
Int. J. Softw. Tools Technol. Transf.
Somsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch
2008 J jnl
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol.
Fundam. Informaticae
Jonathan Billington, Somsak Vanit-Anunchai
2007 J jnl
Checking safety properties on-the-fly with the sweep-line method.
Int. J. Softw. Tools Technol. Transf.
Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen
2007 — conf
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.
ICATPN
Somsak Vanit-Anunchai, Jonathan Billington
2006 B conf
Effect of Sequence Number Wrap on DCCP Connection Establishment.
MASCOTS
Somsak Vanit-Anunchai, Jonathan Billington
2005 C conf
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.
FORTE
Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot