Ad Hoc systems management and specification with distributed Petri Nets.

Managing mobile ad hoc systems is a difficult task due to the high volatility of the systems¿ topology. Ad hoc systems are commonly defined by means of their constituent entities and the relationships between such entities, however, a formal specification and run-time execution model is missing. The...

Full description

Autores:

Sosa Flórez, Juan Sebastián

Tipo de recurso:

Fecha de publicación:

2021

Institución:

Universidad de los Andes

Repositorio:

Séneca: repositorio Uniandes

Idioma:

spa

OAI Identifier:

oai:repositorio.uniandes.edu.co:1992/55075

Acceso en línea:

http://hdl.handle.net/1992/55075

Palabra clave:

Sistemas móviles
Sistemas Ad Hoc
Especificaciones formales
Redes de Petri
Sistemas distribuídos
VANETs
Ingeniería

Rights

openAccess

License

http://creativecommons.org/licenses/by-nc-nd/4.0/