Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Modeling Concurrent Systems: Reconfigurable Nets

Summary: Modeling Concurrent Systems:
Reconfigurable Nets
Eric Badouel
´Ec. Nat. Sup. Polytechnique
Yaound´e, Cameroun
Marisa Llorens and Javier Oliver
DSIC, UPV, Camino de Vera s/n
E-46022 Valencia, Spain
Abstract The aim of this work is the modeling
and verification of concurrent systems subject to dy-
namic changes using extensions of Petri nets. We
introduce the reconfigurable nets. The expressive-
ness of reconfigurable nets and Petri nets is equiva-
lent, but with reconfigurable nets we can model eas-
ily and directly systems that change its structure
dynamically. The change of configuration amounts
to the modification of the flow relations of the places
in the domain of the involved rule according to the


Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València


Collections: Computer Technologies and Information Sciences