{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:04:43Z","timestamp":1725573883219},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204619"},{"type":"electronic","value":"9783540398936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_25","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T15:35:57Z","timestamp":1294414557000},"page":"432-451","source":"Crossref","is-referenced-by-count":0,"title":["Controller Synthesis for Object Petri Nets"],"prefix":"10.1007","author":[{"given":"Berndt","family":"Farwer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saraswati","family":"Kalvala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kundan","family":"Misra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","year":"2001","unstructured":"Agha, G., DeCindio, F., Rozenberg, G. (eds.): APN 2001. LNCS, vol.\u00a02001. Springer, Heidelberg (2001)"},{"issue":"10","key":"25_CR2","doi-asserted-by":"publisher","first-page":"1717","DOI":"10.1109\/9.467679","volume":"40","author":"R. Boel","year":"1995","unstructured":"Boel, R., Ben-Naoum, L., Van Breusegem, V.: On the forbidden state problem for a class of controlled Petri nets. IEEE Transactions on Automatic Control\u00a040(10), 1717\u20131731 (1995)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"25_CR3","doi-asserted-by":"crossref","first-page":"225","DOI":"10.3233\/FI-1999-37303","volume":"37","author":"B. Farwer","year":"1999","unstructured":"Farwer, B.: A linear logic view of object Petri nets. Fundamenta Informaticae\u00a037, 225\u2013246 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"25_CR4","unstructured":"Farwer, B., Misra, K.: Hierarchical Object Systems. In: Burkhard, H.-D., Czaja, L., Lindemann, G., Skowron, A., Starke, P. (eds.) Proceedings oj Concurrency, Specification and Programming\u2014CS&P, Berlin, October 2002, vol.\u00a0161, pp. 143\u2013163. Informatik-Berichte Humboldt-Universitat zu Berlin (2002)"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-39866-0_28","volume-title":"Perspectives of System Informatics","author":"B. Farwer","year":"2004","unstructured":"Farwer, B., Misra, K.: Dynamic Modification of System Structures using LLPNs. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 274\u2013293. Springer, Heidelberg (2004) (to appear)"},{"key":"25_CR6","first-page":"1","volume-title":"Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics","author":"B. Farwer","year":"2002","unstructured":"Farwer, B., Moldt, D., Garc\u00eda-Vall\u00e9s, F.: An Approach to Modelling FMS [Flexible Manufacturing Systems] with Dynamic Object Petri Nets. In: Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics, October 2002, pp. 1\u20139. IEEE, Los Alamitos (2002)"},{"issue":"4","key":"25_CR7","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1016\/0005-1098(91)90055-7","volume":"27","author":"L. Holloway","year":"1991","unstructured":"Holloway, L., Krogh, B.: Synthesis of Feedback Control Logic for Discrete Manufacturing Systems. Automatica\u00a027(4), 641\u2013651 (1991)","journal-title":"Automatica"},{"issue":"2","key":"25_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"L. Holloway","year":"1997","unstructured":"Holloway, L., Krogh, B., Giua, A.: A survey of Petri net methods for controlled discrete event systems. Discrete Dynamic Systems: Theory and Applications\u00a07(2), 151\u2013190 (1997)","journal-title":"Discrete Dynamic Systems: Theory and Applications"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Ichikawa, A., Hiraishi, K.: Analysis and control of discrete event systems represented by Petri nets. In: Lecture Notes in Control and Information Sciences, vol.\u00a0103, pp. 115\u2013134. Springer, Heidelberg (1988)","DOI":"10.1007\/BFb0042308"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/3-540-44919-1_18","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Jorgensen","year":"2003","unstructured":"Jorgensen, J.: Coloured petri nets in development of a pervasive health care system. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 256\u2013275. Springer, Heidelberg (2003)"},{"key":"25_CR11","unstructured":"Kis, T., Neuendorf, K.-P., Xirouchakis, P.: Scheduling with Chameleon Nets. In: Farwer, B., Moldt, D., Stehr, M.-O. (eds.) Proceedings of the Workshop on Petri Nets in System, Engineering (PNSE 1997), pp. 67\u201377. Universitat Hamburg (1997)"},{"key":"25_CR12","unstructured":"Krogh, B.: Controlled Petri nets and maximally permissive feedback logic. In: Proceedings of the 25thAnnual Allerton Conference on Communication, Control and Computing, Monticello, Illinois, pp. 317\u2013326 (1987)"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0027865","volume-title":"Advances in Petri nets","author":"C.A. Lakos","year":"1997","unstructured":"Lakos, C.A.: Object Oriented Modelling with Object Petri nets. In: Advances in Petri nets. LNCS. Springer, Berlin (1997)"},{"key":"25_CR14","unstructured":"Lakos, C., Lamp, J., Keen, C., Marriott, B.: Modelling Network Protocols with Object Petri Nets. In: Workshop on Petri Nets Applied to Protocols, pp. 31\u201342 (1995)"},{"key":"25_CR15","first-page":"260","volume-title":"Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems","author":"Y. Lu","year":"2001","unstructured":"Lu, Y., Wei, G., Cheung, T.-Y.: Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. In: Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems, vol.\u00a083, p. 260. IEEE Computer Society, Los Alamitos (2001)"},{"key":"25_CR16","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008371814442","volume":"9","author":"M. Makungu","year":"1999","unstructured":"Makungu, M., Barbeau, M., St-Denis, R.: Synthesis of controllers of processes modelled as colored Petri nets. Discrete Event Systems: Theory and Applications\u00a09, 147\u2013169 (1999)","journal-title":"Discrete Event Systems: Theory and Applications"},{"issue":"4","key":"25_CR17","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 of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"25_CR18","unstructured":"Petri, C.: Kommunikation mit Automaten (Communicating with Automata). PhD thesis, University of Darmstadt, 1966. English translation in technical report RADC-TR-65377, Griss Air Force Base (1966)"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Reddy, V.: Modeling Biological Pathways: A discrete event systems approach. Master\u2019s thesis, Institute for Systems Research, University of Maryland (1994)","DOI":"10.1021\/bk-1994-0576.ch014"},{"issue":"l","key":"25_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. Ramadge","year":"1989","unstructured":"Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE\u00a077(l), 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"7","key":"25_CR21","doi-asserted-by":"publisher","first-page":"928","DOI":"10.1109\/9.599972","volume":"42","author":"R. Sreenivas","year":"1997","unstructured":"Sreenivas, R.: On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modelled by controlled Petri nets. IEEE Transactions on Automatic Control\u00a042(7), 928\u2013945 (1997)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"4","key":"25_CR22","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1080\/00207179408921484","volume":"60","author":"S. Takai","year":"1994","unstructured":"Takai, S., Ushio, T., Kodama, S.: Concurrency and Maximally Permissive Feedback in Petri nets with External Input Place. International Journal of Control\u00a060(4), 617\u2013629 (1994)","journal-title":"International Journal of Control"},{"key":"25_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R. Valk","year":"1998","unstructured":"Valk, R.: Petri nets as token objects, an introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 1\u201325. Springer, Heidelberg (1998)"},{"key":"25_CR24","first-page":"169","volume-title":"Colloquium on Petri Net Technologies for Modelling Communication Based Systems","author":"R. Valk","year":"1999","unstructured":"Valk, R.: Reference and value semantics for object petri nets. In: Weber, H., Ehrig, H., Reisig, W. (eds.) Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pp. 169\u2013188. Praunhofer Institute for Software and Systems Engineering ISST, Berlin (1999)"},{"key":"25_CR25","unstructured":"Valk, R.: Relating Different Semantics for Object Petri nets. Technical Report B-226-00, TGI - Theoretical Foundations of Computer Science Group, Computer Science, University of Hamburg (June 2000)"},{"key":"25_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-45397-0_5","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"R. Valk","year":"2001","unstructured":"Valk, R.: Concurrency in Communicating Object Petri nets. In: Agha, G., de Cindio, F., Rozenberg, G. (eds.) Concurrent Object-Oriented Programming and Petri Nets. LNCS, pp. 164\u2013195. Springer, Heidelberg (2001)"},{"volume-title":"Petri Nets for Systems Engineering\u2014A Guide to Modeling, Verification, and Applications","year":"2003","key":"25_CR27","unstructured":"Valk, R., Girault, C. (eds.): Petri Nets for Systems Engineering\u2014A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)"},{"key":"25_CR28","doi-asserted-by":"crossref","unstructured":"Yamalidou, K.: Modeling, Optimization and Control of Discrete-Event Chemical Processes Using Petri Net Theory. PhD thesis, University of Notre Dame, Notre Dame, Indiana (1991)","DOI":"10.1016\/0098-1354(91)85029-T"},{"issue":"l","key":"25_CR29","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., Lemmon, M., Antsaklis, P.: Feedback control of Petri nets based on place invariants. Automatica\u00a032(l), 15\u201328 (1996)","journal-title":"Automatica"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T02:37:01Z","timestamp":1637116621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}