Urban traffic systems that possess system states that are distributed, parallel, deterministic,
stochastic, discrete, and continuous are well suited for a Petri net (PN) approach. The …

Design of modern digital hardware systems and of complex software systems is almost
always connected with parallelism. For example, execution of an object-oriented p-gram can …

As digital circuit elements decrease in physical size, resulting in increasingly complex
systems, a basic logic model that can be used in the control and design of a range of …

For safety-critical operations in the nuclear and chemical industries, Petri nets have proven
to be useful for the compositional specification of appropriate accident risk assessment …

The paper presents a new approach to fuzzy Petri net (FPN) and its hardware
implementation. The authors' motivation is as follows. Complex industrial processes can be …

The main purpose of this paper is to present how the Unified Modeling Language (UML) can
be used for modeling industrial embedded systems. By using a car radios production line as …

Context. Clinical pathway support system can ease the clinician burden by prompting
appropriate actions at different stages of a patient consultation. However, while the attitudes …

This paper presents a framework that performs the programmable logic synthesis of rule-
based descriptions of concurrent controllers. These descriptions can be obtained from …

The design process for embedded systems can benefit from the usage of formal methods, if
some properties of the systems are checked, before design and implementation decisions …

For developing embedded systems, the design process may benefit in some contexts from
the usage of formal methods, namely to find critical errors and flaws, before final design and …