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 ...

process mining includes the automated discovery of petri nets from event logs. these event logs are the starting point for various discovery and analysis techniques of the process.  in this paper process model is developed using colored petri nets (cpns) and the supporting software package cpn tools. the restaurant process model is represented for the analysis using a combination of process min...

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 ...

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...

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...

Petri nets structural techniques may be used not only to study interesting system properties, but also to manage state space explosion and discrete-event simulation complexity. In order to avoid net unfolding, a symbolic calculus for high level PN structural analysis is needed, directly working on net annotations. Colored Petri Nets structural analysis relies upon a common subset of functional ...

The need for safety in transportation systems has increased the popularity and applicability of Vehicular Ad-Hoc Networks (VANETs) in recent years. On-time reception and processing of alarms caused by possible accidents as well as the preventive actions have important roles in reducing human and financial losses in road accidents. In such cases, the performance of safety applications should be ...

A formal modeling technique, based on colored timed Petri net and UML static structure modeling languages is used to teach students to model their business process problem as a discrete event system, before they build a working simulation model in a simulation tool (in our case Arena). Combining Petri net and UML static structure diagrams, one can build an abstract, well defined and complete mo...