![](/img/cover-not-exists.png)
An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes
Saida, Boukhedouma, Zaia, AlimazighiVolume:
9
Language:
english
Journal:
International Journal of Information System Modeling and Design
DOI:
10.4018/ijismd.2018040103
Date:
April, 2018
File:
PDF, 3.45 MB
english, 2018