Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets

Manufacturing systems are highly parallel and distributed processes which require a high level of guarantee in operation and safety. Its concurrent and non-deterministic nature makes its analysis and design very complex. These systems can develop through different states and as a consequence of its...

Full description

Autores:

Tipo de recurso:

Fecha de publicación:

2015

Institución:

Universidad Tecnológica de Bolívar

Repositorio:

Repositorio Institucional UTB

Idioma:

eng

OAI Identifier:

oai:repositorio.utb.edu.co:20.500.12585/9008

Acceso en línea:

https://hdl.handle.net/20.500.12585/9008

Palabra clave:

Colored Petri Nets
Design methods
Discrete event systems
Actuators
Automation
Complex networks
Design
Manufacture
Petri nets
Process control
Wireless sensor networks
Behavioral properties
Colored Petri Nets
Colored Petri nets models
Design method
Distributed process
Safety requirements
Wireless sensor and actuator networks
Wireless sensors and actuator networks
Discrete event simulation

Rights

restrictedAccess

License

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