Parallel controllers can be best specified using a description with a formal support to
validate structural and dynamic properties. Petri nets (PNs) can provide an adequate means …

This paper presents a set of rules that allows software engineers to transform the behavior
described by a UML 2.0 Sequence Diagram (SD) into a Colored Petri Net (CPN). SDs in …

The main purpose of this paper is to present an object-oriented PN model (shobi-PN) to
specify industrial digital controllers. The shobi-PN model (synchronous, hierarchical, object …

A new class of Petri nets, called coloured control interpreted Petri nets (CCIPN), is
introduced. The advantages of CCIPN modelling for specification of logic controller …

This paper presents and discusses an industrial production system model based on Colored
Petri Nets. The model was developed in order to analyse the agent's behavior of a …

Abstract Petri Nets (PNs) prove to be an efficient methodology to model discrete-event
systems with parallel activities. The main advantages lie on the graphical interface and on …

The aim of this article is to present how to use shobi-PN, an Object Oriented Petri Net model
to specify data path/control systems. In a case study, a transputer link adaptor is specified for …

The main purpose of this article is to present how Petri Nets (PNs) have been used for
hardware design at our research laboratory. We describe the use of PN models to specify …

The main purpose of this paper is to present a useful set of hierarchical mechanisms of
specification to model and simulate digital systems. The shobi-PN model (Synchronous …

Testbeds für Multi-Agenten Systeme ermöglichen Versuche mit mehreren Agenten, die
kooperierend oder konkurrierend in einer gegebenen Umwelt agieren. Zumeist werden …