Wiwat Vatanawood

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 30

Top Topics

Preemptive Scheduling

Top Venues

Publications

Chanon Dechsupa, Wiwat Vatanawood, Arthit Thongtak
Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net. IEEE Access 10 (2022)
P. Chariyathitipong, Wiwat Vatanawood
Dynamic Slicing of Time Petri Net Based on MTL Property. IEEE Access 10 (2022)
Methawi Phokhai, Wiwat Vatanawood
Transforming nested structures of flowchart into hierarchical coloured Petri Nets. ICEB (2022)
Naronggorn Wongsitthiphaithun, Wiwat Vatanawood
Transforming YAWL Workflows with Time Interval Constraints into Timed Automata. JCSSE (2022)
Chanon Dechsupa, Wiwat Vatanawood, Worawit Poolsawasdi, Arthit Thongtak
An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction. Comput. 10 (12) (2021)
Chutiakrn Jitmit, Wiwat Vatanawood
Simulating Artificial Neural Network Using Hierarchical Coloured Petri Nets. ICMLT (2021)
Maruth Ravibanjurdkul, Pittipol Kantavat, Wiwat Vatanawood
Transforming YAWL Workflows with Time Constraints into Timed Automata. ICCCM (2021)
Amarat Pimkote, Wiwat Vatanawood
Simulation of Preemptive Scheduling of the Independent Tasks Using Timed Automata. ICSCA (2021)
Suphattra Kaewopchoei, Wiwat Vatanawood
Transformation of Bounded Timed Petri Nets into Event-B. SNPD (2019)
Chanon Dechsupa, Wiwat Vatanawood, Arthit Thongtak
Hierarchical Verification for the BPMN Design Model Using State Space Analysis. IEEE Access 7 (2019)
Kittisak Khetkarn, Wiwat Vatanawood
Formal Modeling of Priority Queue using Generalized Stochastic Petri Nets. ICSEB (2019)
Utumporn Gulati, Wiwat Vatanawood
Transforming Flowchart into Coloured Petri Nets. ICSEB (2019)
Thanatta Mankong, Wiwat Vatanawood
Formalizing a Decision Table into Petri Nets. ICSEB (2019)
Jutamard Kawises, Wiwat Vatanawood
Formalizing Time Petri Nets with Metric Temporal Logic using Promela. SNPD (2019)
Pramate Chandratarat, Wiwat Vatanawood
Transforming WS-BPEL into Timed Automata. ICSEB (2019)
Lalita Thampibal, Wiwat Vatanawood
Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets. ICIT (2019)
Pimporn Boon-in, Wiwat Vatanawood
Formal Modeling of Multi-Server Queuing Network Using Stochastic Petri Nets. ICSEB (2019)
Supattra Boonyawat, Wiwat Vatanawood
Transforming YAWL Workflows with Time Constraints to Generalized Stochastic Petri Nets. ICSEB (2019)
Wisarat Srisungnoen, Wiwat Vatanawood
An Ontology-based Knowledge Acquisition for PDM. SNPD (2018)
Chalika Saksupawattanakul, Wiwat Vatanawood
Event-B Formalization of Basic Supply Chain Patterns. SNPD (2018)
Kesinee Soomanat, Wiwat Vatanawood
Formalism of Stochastic Queueing Network using Stochastic Petri Nets. SNPD (2018)
Chanon Dechsupa, Wiwat Vatanawood, Arthit Thongtak
Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach. IEEE Access 6 (2018)
Pongpanut Osathitporn, Nuanwan Soonthornphisaj, Wiwat Vatanawood
A scheme of criminal law knowledge acquisition using ontology. SNPD (2017)
Chanapan Rojrattanakorn, Wiwat Vatanawood
Automated Risk Identification of CMMI Project Planning Using Ontology. ACIT/CSII/BCD (2017)
Chaleerat Thamrongchote, Wiwat Vatanawood
Business process ontology for defining user story. ICIS (2016)
Patsakorn Rittitum, Wiwat Vatanawood, Arthit Thongtak
Digital scrum board using leap motion. ICIS (2016)
Jutamard Kawises, Wiwat Vatanawood
A development of RDF data transfer and query on Hadoop Framework. ICIS (2016)
Attawat Panich, Wiwat Vatanawood
Detection of design patterns from class diagram and sequence diagrams using ontology. ICIS (2016)
Jatuporn Deesukying, Wiwat Vatanawood
Generating of business rules for Coloured Petri Nets. ICIS (2016)
Naratich Na-Lampang, Wiwat Vatanawood
Development of an ontology-based configuration management system. ECAI (2016)
Saran Yamasathien, Wiwat Vatanawood
An approach to construct formal model of business process model from BPMN workflow patterns. DICTAP (2014)
Chumpol Mokarat, Wiwat Vatanawood
UML Component Diagram to Acme Compiler. ICISA (2013)
Passakorn Pannok, Wiwat Vatanawood
An xADL Extension for Service Oriented Architecture Design. ICISA (2013)
Noppamas Pukkhem, Martha Evens, Wiwat Vatanawood
The Concept Path Combination Model for Supporting a Personalized Learning Path in Adaptive Educational Systems. CSREA EEE (2006)
Noppamas Pukkhem, Wiwat Vatanawood
Instructional Design Using Component-Based Development and Learning Object Classification. ICALT (2005)
Supattara Napapak, Wiwat Vatanawood
Transformation of Class Diagrams into Z Specifications. Software Engineering Research and Practice (2004)
Wiwat Vatanawood, Wanchai Rivepiboon
Formal specification synthesis for relational database model. Int. J. Intell. Syst. 19 (1-2) (2004)
Nongluk Covavisaruch, Kamthon Simmami, Wiwat Vatanawood, Winyou Ratanachai
Computer-aided distal locking guidance of intramedullary nail by x-ray image analysis. Medical Imaging: Image-Guided Procedures (2004)