The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions and proposing standards such as BPEL, while researchers have been advocating the use of formal methods such as Petri nets and π-calculus. The languages developed for service flows, i.e., process specification languag...

With rapid development and application of mobile internet, geographic information in the field of business process is now more widely used. There are more and more researches in the field of the relationships between geographic information and workflow modeling. According to the workflow with geospatial constraints, this paper first discusses the geospatial constraints theory deeply, proposes a...

Business system modeling of an agricultural enterprise is one of the difficulties in developing and researching an agricultural enterprise management information system. Given the inadequate description of concurrent and synchronal events in the traditional modeling methods, this paper presents a modeling method, which uses Colored Petri Net. The paper discusses the application of Colored Petri...

Introducing modularity in order to analyze a net means finding methods to decompose it into subnets such that properties of the net can be deduced from properties of these subnets. The aim of this paper is to develop a unified approach for deriving some of the fundamental properties of the global net from the properties of its components for certain types of Petri nets such as Place/Transition ...

In the world of Web services composition languages, Business Process Execution Language for Web Services (BPEL or BPEL4WS), proposed by major vendors such as BEA, IBM or Microsoft has become the standard. However, its definition has not been formalized and this is penalizing for verification of correct behaviour of business processes. Several works have been dedicated to this purpose. Petri net...

In multi-agent systems, negotiations are important activities for solving agent conflicts and forming agent cooperation. Nowadays, many applications require multi-agent systems to work in open and dynamic environments. In such working environments, agents need to face various changeable factors in negotiations The dynamic features of open environments make the need of a flexible mechanism to ha...

Providing reliable compositions of Web Services is a challenging issue since the workflow architect often has only a limited control over the reliability of the composed services. The architect can instead achieve reliability by properly planning the workflow architecture. To this end he must be able to evaluate and compare the reliability of multiple architectural solutions. In this paper we p...

Recent years have seen a rapid growth in the development of web services technology. BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi-formal flow language with complex features, so it is essential to apply automated validation tools in finding the interaction inconsist...

Before using a service in a composite framework, designers must ensure that it is compatible with the needs of the application. The inputs and outputs must comply with the intended ranges of data in the composite framework, and the service must eventually return a value. This paper addresses compatibility for modules described with document-based workflow nets, that can depict the semantics of ...

Complex and customized manufacturing requires a high level of collaboration between production and logistics in a flexible production system. With the widespread use of Internet of Things technology in manufacturing, a great amount of real-time and multi-source manufacturing data and logistics data is created, that can be used to perform production-logistics collaboration. To solve the aforemen...