摘要
描述了Web服务业务流程执行语言(BPEL4WS)的Petri网模型,并提出了模型的化简规则,用于验证模型中的死锁和乏同步两种结构冲突。最后结合一个业务过程实例,进行建模和化简。
The BPEI4WS model based on Petri net is presented and a set of simplification rules is given to verify two structure conflicts of the model, i.e. deadlock and lack of synchronization. According to these rules a procedure net example is modeled and simplified.
出处
《成都信息工程学院学报》
2006年第4期488-492,共5页
Journal of Chengdu University of Information Technology
