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 this paper, we study selected aspects of determinism in the control part of a cyber-physical
system (CPS) that is specified by a Petri net-based model. In particular, the control …

A tutorial introduction is provided to the relatively new subject of hybrid systems. The
modelling of hybrid systems is assuming ever greater importance for systems where the …

At present, solar thermal power generation is in the demonstration stage, and the large-
scale production is affected by many factors. In view of the characteristics of different …

混杂控制系统通常是复杂的非线性控制系统, 难以用统一的模型进行建模. David 和Alla
提出的混杂Petri 网, 虽然可以解决一般混杂系统的建模问题, 并得到了广泛的应用 …

The chapter presents an overview of applying the Petri nets as a model and a way of
specification of the parallel logical control algorithms. The history of using the Petri nets for …

Complex real time systems like large system on chips need to be verified to assure quality
and save time. Today verification activities are restricted to the register transfer level or one …

Design Methodology for an Embedded System for High-Performance Computing Page 1
Design Methodology for an Embedded System for High-Performance Computing Wolfgang …

The modeling of the automatic transport systems with accumulation areas using the Petri
nets starts from the remark that the using sub models are extremely useful in the case of …