Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Modeling Concurrent Systems: Reconfigurable Nets
 

Summary: Modeling Concurrent Systems:
Reconfigurable Nets
Eric Badouel
´Ec. Nat. Sup. Polytechnique
Yaound´e, Cameroun
ebadouel@polytech.uninet.cm
Marisa Llorens and Javier Oliver
DSIC, UPV, Camino de Vera s/n
E-46022 Valencia, Spain
{mllorens,fjoliver}@dsic.upv.es
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