基于BPEL和Petri网的编排一致性检查方法

@会议记录{vanderaalst_et_al:DagSemProc.06291.9，作者={van der Aalst，Wil and Dumas，Marlon and Ouyang，C.和Rozinat，Anne and Verbeek，H.M.W.}，title={{编排一致性检查：一种基于BPEL和Petri网}}的方法，booktitle＝{业务流程在面向服务的体系结构中的作用}，页数={1--71}，series={Dagstuhl研讨会论文集（DagSemProc）}，ISSN={1862-4405}，年份={2006}，体积＝{6291}，editor={Frank Leymann和Wolfgang Reisig以及Satish R.Thatte和Wil van der Aalst}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06291.9},URN={URN:nbn:de:0030-drops-8307}，doi={10.4230/DagSemProc.06291.9}，annote={关键词：流程挖掘、SOAP消息、BPEL、Petri网}}