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 …

This article revisits the problem of decomposing a Petri net into a network of automata, a
problem that has been around since the early 70s. We reformulate this problem as the …

Business processes drive the value creation at companies requiring them to constantly
monitor and improve the former. The field of Process Comparison (PC) offers promising …

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 article deals with hierarchical decomposition of Petri nets. The following question is
considered: which conditions a subnet should satisfy to make possible its replacement by a …

Se ha determinado, en una arquitectura multi-Core SMP, el lugar donde incorporar el PP o
el HPP sin alterar el ISA del resto de los core. Se ha obtenido una familia de procesadores …

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 …

Business processes drive the value creation at companies requiring them to constantly
monitor and improve the former. The field of Process Comparison (PC) offers promising …

This paper presents an extension to a net splitting operation for decomposition of high-level
Petri nets, to support distributed implementations of embedded systems. The net splitting …