Abstract We discuss Bose-Einstein condensation (BEC) in quasi-2D trapped gases and find
that well below the transition temperature T c the equilibrium state is a true condensate …

Two design flows of the Petri net-based cyber-physical systems oriented towards
implementation in an FPGA are presented in the paper. The first method is based on the …

Abstract Model checking is a widely used technique to prove properties such as liveness,
deadlock or safety for a given model. Here we introduce model checking of reconfigurable …

Aerospace systems have the most stringent requirements when it comes to safety and
reliability. The harsh environment combined with the immense costs of designing and …

This paper deals with the automatic translation of interpreted generalized Petri Nets with
time into VHDL, for rapid prototyping on programmable logic device purposes. This …

This paper presents a stochastic Petri net-based approach for performance evaluation of
IEEE 802.11 MAC protocol for Wireless LAN. We consider the frame length, fragmentation …

This paper presents a method to implement reconfigurable logic controllers (RLCs) using a
new matrix model to describe Petri nets (PNs). The method obtains the general equations …

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 …

This work aims to automatically generate process controllers' VHDL implementation code
amenable to be deployed into a platform integrating graphical synoptic updating. These …

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 …