This paper gives the Petri net ontology as the most important element in providing Petri net support for the Semantic Web. Available Petri net formal descriptions are: metamodels, UML profiles, ontologies and syntax. Metamodels are useful, but their main purpose is for Petri net tools. Although the current Petri-net community effort Petri Net Markup Language (PNML) is XMLbased, it lacks a preci...

Composite Web services are built as workflows made up of component Web services. WS-BPEL has become the de facto standard used for the development of above mentioned workflows. Apart from introducing main streamlines related to SOA architectures and WS-BPEL language, the paper identifies some crucial issues that must be solved during composite Web service development: granularity aggregated ins...

The major factor driving the development of contemporary information services, and in particular Web services, is the need for added value. The creation of a huge variety of complex, value-added, although rarely used services seems a bulky approach, whose efficiency is at least questionable. An excellent alternative is the composition of ready-made, more general and simple services for creation...

In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of other components, thus forming a service tree. This tree is built dynamically and not known beforehand. It is hard to verify the behavior of a service tree by using standard verification techniques, because these techn...

The Web service paradigm allows applications to interact electronically with one another over the Internet. Standards and languages, such as BPEL and OWL-S provide a platform with which Web services can be integrated. Moreover, various AI planning techniques have also been adapted to integrate services. However, the autonomous and distributed nature of an integrated service presents unique chal...

In this paper, we extend the supervisory control theory and a supervisor synthesis problem to a class of colored Petri nets. More speciically, we investigate the forbidden state control problem with full observation in which the discrete-event system is modeled as a colored Petri net with a symmetry speciication. This problem is decidable if the colored Petri net has nite color sets and bounded...

The availability of different languages for the description of Web service behaviour hinders automated Web service aggregation, discovery, and adaptation, as currently there are no available tools for the automated translation of service protocols. In this paper we motivate the choice of YAWL as a lingua-franca to express the interaction behaviour of Web services. Furthermore, we provide the sp...

This article recalls, from the literature, a performance study of a web service. That study, based on the layered queuing network (LQN) paradigm, is now addressed following the PUMA approach to obtain a new performance model, in this case in terms of Petri nets, for the target web service. Such Petri net model is used to extend the previous LQN results with respect to some key web service perfo...

Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the Bpel language. The discrete-time transition systems modeling the behavior of Bpel descriptions are obtained by an exhaustive si...