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 …

In today's world, people are using more and more digital systems in daily life. Such systems
utilize the elementariness of Boolean values. A Boolean variable can carry only two different …

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 framework that performs the programmable logic synthesis of rule-
based descriptions of concurrent controllers. These descriptions can be obtained from …

The goal of this paper is to present the design methodology for the modelling and synthesis
of discrete event controllers for compact, fast and reliable embedded systems, using related …

The rigorous digital design of embedded Reconfigurable Logic Controller starts from
hierarchical concurrent state machine model (HCSM), which has been formally derived from …

Statechart diagrams, in general, are visual formal-ism for description of complex systems
behaiour. Digital controllers, which act as reactive systems, can be very conveniently …

The paper concentrates on the behavioral specification of Reconfigurable Logic Controller
programs, given initially as Petri nets and later rewritten in Hardware Description …

The elevation of design description abstractions is a well accepted technique for handling
the complexity and shortening the design time of modern embedded systems. It is shown …

This paper presents a unified design environment of concurrent logic controllers, based on
the use of Petri nets, rule-based description languages and PL4 specification languages …