CPN Tools is an advanced tool for editing, simulating, and analyzing colored Petri nets. This paper discusses the fourth major release of the tool, which makes it simple to use the tool for ordinary Petri nets, including adding inhibitor and reset arcs, and PNML export. This version also supports declarative modeling using constraints, and adds an extension framework making it easy for third pa...

This paper presents a design approach intended for the modeling and synthesis of discrete-event modules of hybrid controllers by combining a model of computation and a soft computing synthesis approach. The model of computation is based on coloured Petri nets (CPNs) and the soft computing method uses fuzzy logic. The design approach converts Petri net models into their equivalent fuzzy sets for...

We give a high-level overview of our recent results which extend and unify the lines of research initiated by Meseguer and Montanari under the motto “Petri nets are monoids”, and by Marti-Oliet, Meseguer and other authors in their linear logic axiomization of Petri nets. In particular, we investigate the use of rewriting logic, which was partially inspired by the two aforementioned approaches, ...

This paper presents KRON Knowledge Representation Ori ented Nets a knowledge representation schema for discrete event sys tems DESs KRON enables the representation and use of a variety of knowledge about a DES static structure and its dynamic states and be havior It is based on the integration of Colored Petri nets with frame based representation techniques and follows the object oriented parad...

The automatic synthesis of a plan to perform a robotized assembly task from a high level description of the product to be assembled is a difficult issue which involves assembly planning and task planning. One of the main scopes of task planning is the planning of contact motions, which usually relies on a graph representation of contact space. This paper deals with the automatic computation of ...