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

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

In this paper, implementation and evaluation of a Printed Circuit Board Assembly (PCBA) manufacturing system model based on papers of Fuzzy Colored Petri Nets (FCPN) modeling tel:hnique was performed. From the Petri nets simulation results, two contributions were claimed: (1) The successful application of our approach to evaluate systems that consist of complicated concurrent processes with emb...

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

This paper proposes a normative structure to represent and analyze sets of norms that takes into consideration both the interrelationships between different norms and the context of their applications. This extends current approaches where relations between norms are not explicitly considered. More importantly, the explicit representation of institutional contexts on norms facilitates a context...

The purpose of this paper is to analyze the overall equipment efficiency (OEE) of the machines in the production process, with the objective of measure the quality and efficiency of the process and the used resources (machines). For this analysis the present work shows the Colored Petri Nets for the modeling the flow data in Factory Information System (FIS). The obtained net represents the nece...

Abstract. UML, being the industry standard as a common OO modeling language needs a well-defined semantic base for its notation. Formalization of the graphical notation enables numerous automated processing and analysis tasks, such as behavioral simulation and consistency checks between levels of specifications. Object Oriented Petri nets (OOPN) can provide a formal semantic framework for the U...

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

Petri nets are graphical and mathematical tools for studying discrete event systems. Petri nets have been under extensive development since Petri defined the language in 1962. Various extensions of Petri nets have been developed to study concurrent, asynchronous, distributed, parallel, deterministic, and stochastic system behavior. This paper provides a quick tutorial to learn the basic termino...

This paper introduces a new direction in formalizing sociological models. Sociological theories are a field of application for computer science, hence sociologists describe a theory in informal ways. These theories are transformed into computational models which can be studied and investigated with formal methods. We have chosen to formalize a common model of sociological theory, the Garbage Ca...