Paper Title:
Modelling and Verification of Vending Machine Systems by Using Timed Petri Nets
  Abstract

This paper focuses on the use of Deterministic timed Petri net (DTPNs) to model a coffee vending machine system. The advantage of the proposed approach is that the clear presentation of the behaviors of the coffee vending machine in terms of conditions and transitions that cause the state alternations. The analysis of the control models is performed by a state transition diagram. Then the dynamic properties of the control method will be obtained. To our knowledge, this is the first work that employs DTPNs to obtain the model of the vending machine control system.

  Info
Periodical
Key Engineering Materials (Volumes 467-469)
Edited by
Dehuai Zeng
Pages
1668-1673
DOI
10.4028/www.scientific.net/KEM.467-469.1668
Citation
Y. S. Huang, T. C. Row, "Modelling and Verification of Vending Machine Systems by Using Timed Petri Nets", Key Engineering Materials, Vols. 467-469, pp. 1668-1673, 2011
Online since
February 2011
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Gen’ichi Yasuda
Abstract:This paper deals with the modeling and control of discrete event robotic manufacturing cells using Petri nets, and proposes a methodology of...
856
Authors: Jian Hua Yang
Chapter 6: Mechatronics, Control and Automation of Manufacture
Abstract:2-tone colored Petri net, where one color of tokens stands for logical value true and the other color of tokens for logical value false, is...
618
Authors: Hai Yan Yang, Xiu Mei Zhu
Chapter 1: Applied Mechanics, Mechanical Engineering, Mechatronics, Automation and Control
Abstract:The vending machine is the commercial automation equipment which can complete the vending without people. It is a production of social...
786