机译:一种基于分层Petri网的方法,用于验证互联BPEL过程
University of Science and Technology Houari Boumediene (USTHB)- LSI Laboratory Bab Ezzouar Algeria;
University of Science and Technology Houari Boumediene LSI Laboratory Bab Ezzouar Algeria;
Abstract Transition; BPEL; Cooperation Pattern; Hierarchical WF-net (HWN); IOWF; SOA; Soundness; Verification; WF-net;
机译:BPEL过程的建模和性能评估:一种基于随机Petri网的方法
机译:验证业务流程的稳健性:决策过程Petri网方法
机译:基于层次增强彩色Petri网(HECPN)的NPP专家系统的知识库验证
机译:使用时间Petri网的BPEL流程的定时建模和验证
机译:组成分层时间Petri网的验证方法。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:编排一致性检查:一种基于BpEL和petri网的方法