An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes

Publisher： IGI Global_journal

E-ISSN： 1947-8194|9|2|44-78

ISSN： 1947-8186

Source： International Journal of Information System Modeling and Design (IJISMD), Vol.9, Iss.2, 2018-04, pp. : 44-78

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Colored Petri Nets Based Fault Diagnosis in Service Oriented Architecture

By  

International Journal of Web Services Research (IJWSR), Vol. 15, Iss. 4, 2018-10 ,pp. : 1-28

IGI Global_journal

Access to resources Recommend Favorite

Automatic Construction of OWL Ontologies From Petri Nets

By  

International Journal on Semantic Web and Information Systems (IJSWIS), Vol. 15, Iss. 1, 2019-01 ,pp. : 21-51

IGI Global_journal

Access to resources Recommend Favorite

Model-Based Design and Formal Verification Processes for Automated Waterway System Operations

By Petnga Leonard   Austin Mark  

Systems, Vol. 4, Iss. 2, 2016-06 ,pp. : 23-23

MDPI

Access to resources Recommend Favorite

A Hierarchical Aggregation Approach for Indicators Based on Data Envelopment Analysis and Analytic Hierarchy Process

By Pakkar Mohammad Sadegh  

Systems, Vol. 4, Iss. 1, 2016-01 ,pp. : 6-6

MDPI

Access to resources Recommend Favorite

A Reliability Calculation Method for Web Service Composition Using Fuzzy Reasoning Colored Petri Nets and Its Application on Supercomputing Cloud Platform

By Deng Ziyun   Chen Lei   He Tingqing   Meng Tao  

Future Internet, Vol. 8, Iss. 4, 2016-09 ,pp. : 47-47

MDPI

Access to resources Recommend Favorite