A Formal Approach for Modeling and Testing Agent Interactions Using Recursive Colored Petri Nets

Publisher： Bentham Science Publishers

ISSN： 2213-2759

Source： Recent Patents on Computer Science, Vol.3, Iss.1, 2010-01, pp. : 39-53

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Modeling membrane systems using colored stochastic Petri nets

By Liu Fei   Heiner Monika  

Natural Computing, Vol. 12, Iss. 4, 2013-12 ,pp. : 617-629

Springer Publishing Company

Access to resources Recommend Favorite

Designing Complex Agent Interaction Protocols Using Colored Petri Nets: The Cloud Services Composition Case Study

By  

International Journal of Agent Technologies and Systems (IJATS), Vol. 6, Iss. 2, 2014-04 ,pp. : 51-72

IGI Global_journal

Access to resources Recommend Favorite

New modeling and performance evaluation of tool sharing control in FMS using colored Petri nets

By Shah Shaukat Ali   Bohez Erik L.J.   Pisuchpen Roongrat  

Assembly Automation, Vol. 31, Iss. 2, 2011-04 ,pp. : 137-152

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Modelling work distribution mechanisms using Colored Petri Nets

By Pesic Maja  

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 3-4, 2007-06 ,pp. : 327-352

Springer Publishing Company

Access to resources Recommend Favorite

Micropayment proposal with formal verification using coloured Petri nets and performance analysis on the Android platform

By Isern-Deyà Andreu Pere   Payeras-Capellà M. Magdalena   Mut-Puigserver Macià   Ferrer-Gomila Josep-Lluis   Huguet-Rotger Llorenç  

International Journal of Business Intelligence and Data Mining, Vol. 8, Iss. 1, 2013-08 ,pp. : 74-104

Inderscience Publishers

Access to resources Recommend Favorite