One of the major improvements of UML 2.0 over UML 1.5 is the reengineering of Activity Diagrams. It is claimed in the standard that they now have a Petri-net like meaning. In this paper, this claim is examined by defining a denotational semantics for Activities based on Colored Petri-nets. The definition closely following the UML 2.0 standard. It covers flat control-flow, and dataflow, but excl...

Grading dozens of Petri net models manually is a tedious and error-prone task. In this paper, we present Grade/CPN, a tool supporting the grading of Colored Petri nets modeled in CPN Tools. The tool is extensible, configurable, and can check static and dynamic properties. It automatically handles tedious tasks like checking that good modeling practise is adhered to, and supports tasks that are ...

Computing and data intensive applications in physics, medicine, biology, graphics, and business intelligence require large and distributed infrastructures to address today’s and tomorrow’s challenges. For example, process mining applications are faced with terrabytes of event data and computationally expensive algorithms. Increasingly, computer grids are used to deal with such challenges. Howev...

Service Oriented Architectures (SOAs) are rapidly becoming an accepted means for network information exchange across heterogeneous fabrics of nodes. In architecture, an SOA is a system of systems (SoS) with complex interactions. Owing to SOA benefits of flexibility, interoperability, loose coupling, and reusability, the Department of Defense (DoD) has a future SOA framework for defense applicat...

The negotiation on Service Level Agreement (SLA) in current complex cloud environment often involves the multilateral negotiation. Therefore, this paper presents an SLA-oriented multiparty trust negotiation model based on Hierarchical Colored Petri Net (HCPN) in cloud environment. This model mainly provides trust negotiation of SLA parameters such as credibility, reliability, availability and s...

Positive flows provide very useful informations that can be used to perform efficient analysis of a model. Although algorithms computing (a generative family of) positive flows in ordinary Petri nets are well known, computing a generative family of positive flows in colored net remains an open problem. We propose in this paper a pragmatic approach that allows us to define an algorithm that comp...

In Parallel computing environments, each user can submit his job that is represented as a workflow composed of tasks that require multiple types of computational resources. How to develop a mechanism that ensures the success of these workflows is a challenging issue because the resources they use are dynamic and heterogeneous. In order to schedule these workflows conveniently, a model is needed...

In the framework of discrete event systems, the observation of events is considered as outputs in most problem settings, such as state estimation and fault diagnosis, while only a few studies exploit the availability of partial state information. In this paper, equivalent relations between Petri nets with different observation structures, i.e., Petri net generators, are discussed. We focus on a...

E-contracting, i.e., establishing and enacting electronic contracts, has become important because of technological advances (e.g., the availability of web services) and more open markets. However, the establishment of an e-contract is complicated and error prone. There are multiple negotiation styles ranging from auctions to bilateral bargaining. This paper provides an approach for modeling mul...

Reconfigurable manufacturing systems (RMSs) have been used to provide manufacturing companies with the required capacities and capabilities, when needed. Recognizing (1) the importance of dynamic modeling and visualization in decision making support in RMSs and (2) the limitations of the existing studies, we model RMSs based on Petri net (PN) techniques with focus on the process of reconfigurin...