List of Articles logical agent mobility Open Access Article Abstract Page Full-Text 1 - A Formal Petri Net Based Model for Antivirus UpdateAgent System