{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:40:18Z","timestamp":1742391618849,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/aiccsa.2008.4493616","type":"proceedings-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T17:37:07Z","timestamp":1209404227000},"page":"785-792","source":"Crossref","is-referenced-by-count":7,"title":["A Recursive Colored Petri Nets semantics for AUML as base of test case generation"],"prefix":"10.1109","author":[{"given":"Yacine","family":"Kissoum","sequence":"first","affiliation":[]},{"given":"Zaidi","family":"Sahnoun","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19971025"},{"key":"16","article-title":"extending uml for agents","author":"odell","year":"2000","journal-title":"proc of the agent-Oriented Information Systems Workshop 17th National Conference on Artificial Intelligence"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1017\/S026988890000789X"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2007.370867"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2007.370867"},{"key":"3","article-title":"why model-based test automation is different and what you should know to get started","author":"blackburn","year":"2004","journal-title":"Software Productivity Consortium NFP"},{"key":"2","first-page":"216","article-title":"compliant agent development environment","author":"bellifemine","year":"2000","journal-title":"Proc of 5th International Conference on Autonomous Agents"},{"key":"1","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/3-540-44564-1_6","article-title":"agent uml: a formalism for specifying multi-agent interaction","author":"bauer","year":"2001","journal-title":"Agent-Oriented Software Engineering Paolo Ciancarini and Michael Wooldridge eds"},{"journal-title":"JUnit","year":"0","key":"10"},{"key":"7","article-title":"theoretical aspects of recursive petri nets","author":"haddad","year":"1999","journal-title":"Proc 24th Int Conf Applications and Theory of Petri Nets"},{"journal-title":"Fipa broking protocol specification XC00033G 2002\/11\/01","year":"0","key":"6"},{"key":"5","article-title":"aalaadin: a meta-model for the analysis and design of organizations in multi-agent systems","author":"ferber","year":"1998","journal-title":"ICMAS'98"},{"key":"4","article-title":"a possible approach to the development of robotic multi-agent systems","author":"cossentino","year":"2003","journal-title":"IEEE\/WIC Conf on Intelligent Agent Technolog"},{"year":"0","key":"9"},{"key":"8","volume":"1","author":"jensen","year":"1992","journal-title":"Colored Petri Nets Basic Concepts Analysis Methods and Practical Use"}],"event":{"name":"2008 IEEE\/ACS International Conference on Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2008,3,31]]},"location":"Doha, Qatar","end":{"date-parts":[[2008,4,4]]}},"container-title":["2008 IEEE\/ACS International Conference on Computer Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4488216\/4493499\/04493616.pdf?arnumber=4493616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T07:30:59Z","timestamp":1497771059000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4493616\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2008.4493616","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}