[PDF][PDF] Simulation and modeling of active products cooperation for active security system management
This article presents an approach of modeling and simulation of the cooperation between
products situated in a bounded space thus forming a system for which security assurance …
products situated in a bounded space thus forming a system for which security assurance …
Process for developing and implementing a model for the formal description of a collaborative system comprised of multiple distributed components, especially an …
AW Colombo, R Schoop - US Patent 8,010,333, 2011 - Google Patents
Process for developing and implementing a model (ASM) for the formal description of a
collaborative system including multiple, distributed components, wherein analyzable models …
collaborative system including multiple, distributed components, wherein analyzable models …
The Agent Oriented Multi Flow Graphs Specification Model
ID Zaharakis - … , Interactions, Simulations & Case Studies”(F …, 2011 - books.google.com
The term agent is widely used in many areas with diverse meaning. In this work, agents
have been used as they have been defined in the context of AI. In this context, many …
have been used as they have been defined in the context of AI. In this context, many …
Controle supervisório de sistemas a eventos discretos, usando redes de Petri coloridas
FAA Menezes - 2011 - repositorio.ufc.br
This work proposes a newmethod for synthesis of supervisors in discrete event systems
using coloured Petri nets, based in the theory of supervisory control. As a main aspect, there …
using coloured Petri nets, based in the theory of supervisory control. As a main aspect, there …