Detail Transforming XPDL to Petri Nets Bibliografi Author: Haiping, Zha ; Jianmin, Wang ; Lijie, Wen ; Yun, Yang Bahasa: (EN )     Penerbit: Springer-Verlag Berlin Heidelberg     Tempat Terbit: Heidelberg    Tahun Terbit: 2008     Jenis: Papers/Makalah Fulltext: Transforming XPDL to Petri Nets.pdf (1.22MB; 0 download) Abstract As a textual specification for process definition, XPDL lacks formal semantics which hinders the formal analysis and verification of business processes. In this paper, we provide a method for translating XPDL processes into Petri nets for the formal analysis of XPDL processes. The algorithm validity has been proved, and has also been verified by experiments on artificial and practical processes. Opini Anda Klik untuk menuliskan opini Anda tentang koleksi ini! Lihat Sejarah Pengadaan  Konversi Metadata   Kembali

Copyright © 2006, 2007 Unika Atma Jaya, all rights reserved