scholarly journals Using Coloured Petri Nets to Compare Mobile Agent Design Patterns

2004 ◽  
Vol 95 ◽  
pp. 287-305 ◽  
Author(s):  
Emerson Ferreira de Araújo Lima ◽  
Jorge César Abrantes de Figueiredo ◽  
Dalton Dario Serey Guerrero
Keyword(s):  
Petri Nets ◽  
Mobile Agent ◽  
Design Patterns ◽  
Coloured Petri Nets ◽  
Agent Design

Verifying Mobile Agent Design Patterns with RPOO

2007 ◽  
pp. 987-995
Author(s):  
E. Oliveira ◽  
E. Lima ◽  
J. Figueiredo
Keyword(s):  
Mobile Agent ◽  
Petri Net ◽  
Design Patterns ◽  
Colored Petri Net ◽  
Agent Design

This article presents the formalization and analysis of three migration design patterns—itinerary, star-shaped, and branching—done by using of RPOO. A brief comparison between RPOO models and classical Colored Petri net (Jensen, 1992, 1997) models is also briefly presented.

An approach to modelling and applying mobile agent design patterns

2004 ◽  
Vol 29 (3) ◽  
pp. 1-8 ◽  
Author(s):  
Emerson F. A. Lima ◽  
Patrícia D. L. Machado ◽  
Fláavio R. Sampaio ◽  
Jorge C. A. Figueiredo
Keyword(s):  
Mobile Agent ◽  
Design Patterns ◽  
Agent Design

Modeling Emergency Response Plans with Coloured Petri Nets

2013 ◽  
pp. 106-117
Author(s):  
Manuel Cheminod ◽  
Ivan Cibrario Bertolotti ◽  
Luca Durante ◽  
Adriano Valenzano
Keyword(s):  
Petri Nets ◽  
Emergency Response ◽  
Coloured Petri Nets ◽  
Modeling Emergency
Sign in / Sign up

Export Citation Format

Share Document