English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

The cross-organizational business process is characterized by privacy, collaboration, autonomy, dynamic interaction structure, etc. It is necessary to model and analyze the cross-organizational business process in order to ensure the accuracy and consistency of process interaction among different organizations. The open workflow net proposed on the basis of Petri net is used as a tool to model the cross-organizational business process. The cross-organizational business process is divided into two parts, namely private process and public process. The private process is regarded as the internal view of the organization, and the public process is regarded as the external view of the interaction between an organization and other organizations. The interaction behavior of model verification is regarded as the starting point with regard to the behavioral consistency problem of the model. A method for verifying the behavioral consistency based on environment is proposed, which is more relaxed than the existing method for verifying the behavioral consistency based on mutual simulation and more consistent with the asynchronous communication among organizations.

A Method for Verifying the Behavioral Consistency between Public Business Process and Private Business Process Based on Environment