The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actions. But even small real systems are never modeled directly as ordinary Petri nets: they use many high-level features that were designed as extensions of Petri nets. We focus here on two such features: colors and compo...

today, change is a definite phenomenon and organizations should make themselves aligned with requirements for survival and success in the competitive market and retain customers. one of the main components of any organization that is undergoing these changes is the business processes of that organization. in other words, in a dynamic business environment, business processes are changed at runti...

The paper presents a Petri net infrastructure that should allow sharing Petri nets on the Semantic Web. Previous solutions only provide model interchange mechanisms between Petri net tools. The Petri net ontology is a central part of our solution. The ontology is closely related to the Petri Net Markup Language (PNML) – an ongoing Petri net community sharing effort. We developed the Petri net o...

In a Cloud-computing environment, consumers, brokers, and service providers interact to achieve their individual purposes. In this regard, service providers offer a pool of resources wrapped as web services, which should be composed by broker agents to provide a single virtualized service to Cloud consumers. In this study, an agent-based test bed for simulating Cloudcomputing environments is de...

In this paper we introduce a new modeling paradigm for developing a decision process representation called the Colored Decision Process Petri Net (CDPPN). It extends the Colored Petri Net (CPN) theoretic approach including Markov decision processes. CPNs are used for process representation taking advantage of the formal semantic and the graphical display. A Markov decision process is utilized a...

Nowadays the active traffic management is enabled for better performance due to the nature of the real-time large data in transportation system. With the advancement of large data, monitoring and improving the traffic safety transformed into necessity in the form of actively and appropriately. Per-formance efficiency and traffic safety are considered as an im-portant element in measuring the pe...

This paper discusses the rationale of process platform-based production configuration in mass customization production. A multilevel system of nested colored object-oriented Petri nets (PNs) with changeable structures is developed to model the configuration of production processes. The obtained process for a new member of a product family involves both manufacturing and assembly processes for t...

The de®nition and maintenance of work¯ow processes have become important tasks for enterprises as work¯ow management systems (WFMS) are systematically applied to critical business processes. In order to simplify the management and usage of work¯ow processes and to integrate with other applications, a good modeling method is essential. The WFCP-net (work¯ow-net based on colored Petri net) is an ...