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.

• Periodical: Key Engineering Materials (Volumes 467-469)
• Pages: 1668-1673
• DOI: https://doi.org/10.4028/www.scientific.net/KEM.467-469.1668
• Online since: February 2011
• Authors: Yi Sheng Huang, Ter Chan Row
• Keywords: Deterministic Timed Petri Net, Petri Net, Vending Machine Systems

References

[1] Y. Wu and C.N. Hadjicostis: Automatic Control IEEE Transactions on Vol. 50, Issue 12 (2005), p.2048 – (2055).

[2] RU. Yu, and C.N. Hadjicostis: Discrete Event Systems Wodes 9th International Workshop on 28-30 (2008), pp.443-448.

[3] Z. Retchkiman: Control Applications, Proceedings of the IEEE International Conference on 25-27, September (2000), p.924 – 928.

[4] M.D. Jeng: Systems, Man and Cybernetics, Part B, IEEE Transactions on Vol. 27, Issue 2, (1997), pp.169-183.

[5] Y.S. Huang and C.T. Chen: Networking, Sensing and Control, Proceedings IEEE 19-22, March (2005), pp.229-234.

[6] Y.S. Huang, T.H. Chung AND J.H. Lin: Computational Engineering in Systems Applications, IMACS Multiconference on 4-6, (2006), pp.2151-2156.

[7] J.J. Demael and A.H. Levis: Intelligent Control, Proceedings of IEEE International Symposium on 25-26, September (1989), pp.74-81.

[8] L. Gomes and J.P. Barros: Industrial Informatics, IEEE Transactions on Vol. 1, Issue 2, (2005), pp.112-123.

[9] C.S. Chen, C.H. Lin AND H.Y. Tsa: Power Systems, IEEE Transactions on Vol. 17, Issue 4, (2002) pp.1073-1080.

[10] Z.W. Li and M.C. Zhou: IEEE Transactions on Systems, Man, and Cybernetics, Part A, Vol. 38, no. 3, (2008).

[11] A. Giua, C. Seatzu, and F. Basile: IEEE Transactions on Automatic Control, Vol. 49, no. 1, January (2004).

[12] N.Q. Wu, M.C. Zhou and Z.W. Li: IEEE Transactions on System, Man, & Cybernetics, Part A, Vol. 38, no. 1, (2008), pp.56-69.

[13] N.Q. Wu and M.C. Zhou: IEEE Transactions on Mechatronics, Vol. 9, no. 1, (2004), pp.50-57.

[14] A. Aybar and A. Iftar: IEEE Vol. 2, Issue 2, (2008), pp.178-188.

[15] N. Wu, L. Bai and C. Chu: Systems, Man and Cybernetics, Part C, Applications and Reviews, IEEE Transactions on Vol. 37, Issue 4, (2007), pp.461-472.

[16] J. Wang, in: Timed Petri Nets Theory and Application, Kluwer Academic Publisher, Boston, (1998).

[17] C. Ramchandani, in: Analysis of Asynchronous Concurrent Systems by Petri Nets, Project MAC, TR-120, M.I.T., Cambridge, MA, (1974).

[18] N.H. Lee, J.E. Hong, S.D. Cha and D.H. Bae: Proceedings International Symposium on 20-21, April (1998), pp.223-229.

[19] T. Murata: Petri Nets: Invited paper IEEE, April (1989), pp.541-580.

[20] C. Kelling and G. Hommel: IEEE Proceeding of the Second Workshop, April (1994), pp.110-118.