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 …

Two methods of Petri nets decomposition into State Machine Components (SMCs) are
shown in the paper. The first one bases on the well-known algorithm of place invariants (p …

In the article we present a new algorithm of Petri net decomposition into State Machine
Components (SMCs). The idea bases on the application of the comparability graph theory …

The paper presents the methodology of the logic controller development process based on
the UML state machine diagram. The development process covers the logic synthesis and …

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 …

In the paper an implementation of algorithm of Petri net array-based synthesis is presented.
The method is based on decomposition of colored interpreted macro Petri net into subnets …

In this paper a new method of Petri net array-based synthesis is proposed. The method is
based on decomposition of colored interpreted macro Petri net into state machine subnets …

For a typical digital system, the design process consists of compilation, translation,
synthesis, logic optimization, and technology mapping. Although the final result of that …

This paper deals with a new approach to logic controllers developing process. Classic
development approach assumes the use of only one chosen model for the purpose of a …