{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:53:35Z","timestamp":1743152015566,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540693888"},{"type":"electronic","value":"9783540693895"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69389-5_62","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T06:39:18Z","timestamp":1217486358000},"page":"545-554","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of the Supervising Agent in MAS"],"prefix":"10.1007","author":[{"given":"Franti\u0161ek","family":"\u010capkovi\u010d","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"62_CR1","first-page":"610","volume-title":"IEEE International Conference on Control Applications (CCA 2000) and IEEE International Symposium on Computer-Aided Control System Design (CACSD 2000)","author":"B. Bordbar","year":"2000","unstructured":"Bordbar, B., Giacomini, L., Holding, D.J.: UML and Petri Nets for Design and Analysis of Distributed Systems. In: IEEE International Conference on Control Applications (CCA 2000) and IEEE International Symposium on Computer-Aided Control System Design (CACSD 2000), pp. 610\u2013615. IEEE Press, Piscataway (2000)"},{"key":"62_CR2","unstructured":"Buy, U., Darabi, H.: Sidestepping Verification Complexity with Supervisory Control. In: Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation, 8 pages (2003), \n                      http:\/\/www.cs.uic.edu\/~shatz\/SEES\/Schedule.htm"},{"key":"62_CR3","first-page":"303","volume":"11","author":"F. \u010capkovi\u010d","year":"2005","unstructured":"\u010capkovi\u010d, F.: An Application of the DEDS Control Synthesis Method. Journal of Universal Computer Science\u00a011, 303\u2013326 (2005)","journal-title":"Journal of Universal Computer Science"},{"key":"62_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1504\/IJIIDS.2007.013285","volume":"1","author":"F. \u010capkovi\u010d","year":"2007","unstructured":"\u010capkovi\u010d, F.: DES Modelling and Control vs. Problem Solving Methods. Int. J. Intelligent Information and Database Systems\u00a01, 53\u201378 (2007)","journal-title":"Int. J. Intelligent Information and Database Systems"},{"key":"62_CR5","first-page":"507","volume":"26","author":"F. \u010capkovi\u010d","year":"2007","unstructured":"\u010capkovi\u010d, F.: Modelling, Analysing and Control of Interactions among Agents in MAS. Computing and Informatics\u00a026, 507\u2013541 (2007)","journal-title":"Computing and Informatics"},{"key":"62_CR6","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-3-642-68353-4_47","volume-title":"Application and Theory of Petri Nets","author":"J. Martinez","year":"1982","unstructured":"Martinez, J., Silva, M.: A simple and fast algorithm to obtain all invariants of generalized Petri net. In: Application and Theory of Petri Nets, vol.\u00a052, pp. 301\u2013311. Springer, New York (1982)"},{"key":"62_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5711-1","volume-title":"Supervisory Control of Discrete Event Systems Using Petri Nets","author":"J.O. Moody","year":"1998","unstructured":"Moody, J.O., Antsaklis, P.J.: Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, Boston (1998)"},{"key":"62_CR8","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proceedings IEEE"},{"key":"62_CR9","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory Control of a Class of Discrete Event Processes. SIAM Journal on Control and Optimization\u00a025, 206\u2013230 (1987)","journal-title":"SIAM Journal on Control and Optimization"},{"key":"62_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03687-7","volume-title":"Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets","author":"W. Reisig","year":"1998","unstructured":"Reisig, W.: Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets. Springer, Berlin (1998)"},{"key":"62_CR11","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","volume":"32","author":"K. Yamalidou","year":"1996","unstructured":"Yamalidou, K., Moody, J.O., Antsaklis, P.J., Lemmon, M.D.: Feedback Control of Petri Nets Based on Place Invariants. Automatica\u00a032, 15\u201328 (1996)","journal-title":"Automatica"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2008"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69389-5_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T06:47:09Z","timestamp":1715237229000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-69389-5_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540693888","9783540693895"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69389-5_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}