A Petri Net Based Verification Process Modeling for E-Commerce Transaction
碩士 === 國立中央大學 === 軟體工程研究所 === 102 === The Internet has been well developed nowadays. Many things can be done through the Internet, even we can go shopping on-line. The convenience of on-line shopping makes a radical change of the consumption pattern of modern people. E-Commerce becomes more and more...
Main Authors: | Wan-yu Lai, 賴宛妤 |
---|---|
Other Authors: | 曾黎明 |
Format: | Others |
Language: | zh-TW |
Published: |
2013
|
Online Access: | http://ndltd.ncl.edu.tw/handle/56556799881239426204 |
Similar Items
-
The use of Petri Nets to Personal process modeling and verification
by: Lin-Ya Chen, et al.
Published: (2005) -
Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification
by: V. O. Ermakova, et al.
Published: (2018-10-01) -
Modelling and verification of ambient systems using Petri nets
by: Konios, Alexandros
Published: (2015) -
Verification based on unfoldings of Petri nets with read arcs
by: Rodríguez, César
Published: (2013) -
Verification based on unfoldings of Petri nets with read arcs
by: Rodríguez, César
Published: (2013)