Saïda Boukhedouma, Zaia Alimazighi. An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes. IJISMD, 9(2):44-78, 2018. [doi]
@article{BoukhedoumaA18, title = {An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes}, author = {Saïda Boukhedouma and Zaia Alimazighi}, year = {2018}, doi = {10.4018/IJISMD.2018040103}, url = {https://doi.org/10.4018/IJISMD.2018040103}, researchr = {https://researchr.org/publication/BoukhedoumaA18}, cites = {0}, citedby = {0}, journal = {IJISMD}, volume = {9}, number = {2}, pages = {44-78}, }