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