{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T04:17:23Z","timestamp":1747714643067,"version":"3.40.5"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,2,26]],"date-time":"2015-02-26T00:00:00Z","timestamp":1424908800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s10270-014-0451-z","type":"journal-article","created":{"date-parts":[[2015,2,25]],"date-time":"2015-02-25T06:36:31Z","timestamp":1424846191000},"page":"1163-1180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Knowledge-based construction of distributed constrained systems"],"prefix":"10.1007","volume":"15","author":[{"given":"Susanne","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie","family":"Quinton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,2,26]]},"reference":[{"issue":"9","key":"451_CR1","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1109\/32.31364","volume":"15","author":"R Bagrodia","year":"1989","unstructured":"Bagrodia, R.: Process synchronization: design and performance evaluation of distributed algorithms. IEEE Trans. Softw. Eng. 15(9), 1053\u20131065 (1989)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"451_CR2","doi-asserted-by":"crossref","unstructured":"Basu, A., Bensalem, S., Peled, D., Sifakis, J.: Priority scheduling of distributed systems based on model checking. In: Proceedings of CAV\u201909, vol. 5643 of LNCS, pp. 79\u201393. Springer (2009)","DOI":"10.1007\/978-3-642-02658-4_10"},{"key":"451_CR3","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Bozga, M., Graf, S., Peled, D., Quinton, S.: Methods for knowledge-based controlling of distributed systems. In: Proceedings of ATVA\u201910, vol. 6252 of LNCS, pp. 52\u201366. Springer (2010)","DOI":"10.1007\/978-3-642-15643-4_6"},{"key":"451_CR4","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Bozga, M., Quilbeuf, J., Sifakis, J.: Knowledge-based distributed conflict resolution for multiparty interactions and priorities. In: Proceedings of FMOODS-FORTE\u201912, vol. 7273 of LNCS, pp. 118\u2013134. Springer (2012)","DOI":"10.1007\/978-3-642-30793-5_8"},{"issue":"1","key":"451_CR5","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages twelve years later. Proc. IEEE 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"451_CR6","doi-asserted-by":"crossref","unstructured":"Boussinot, F., de Simone, R.: The esterel language. In: Proceedings of the IEEE, Special Issue on Synchronous Programming, vol. 79, pp. 1293\u20131304 (1991)","DOI":"10.1109\/5.97299"},{"key":"451_CR7","doi-asserted-by":"crossref","unstructured":"Caspi, P., Girault, A.: Execution of distributed reactive systems. In: Proceedings of Euro-Par\u201995, vol. 966 of LNCS, pp. 15\u201326. Springer (1995)","DOI":"10.1007\/BFb0020452"},{"key":"451_CR8","doi-asserted-by":"crossref","unstructured":"Chu, P.M., Liu, M.T.: Synthesizing protocol specifications from service specifications. In: Proceedings of Computer Networking Symposium, pp. 173\u2013182. IEEE (1988)","DOI":"10.1109\/CNS.1988.4994"},{"key":"451_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Vardi, M.Y., Moses, Y.: Reasoning about knowledge. MIT Press, Cambridge, MA (1995)"},{"key":"451_CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"HJ Genrich","year":"1981","unstructured":"Genrich, H.J., Lautenbach, K.: System modelling with high-level Petri nets. Theor. Comput. Sci. 13, 109\u2013136 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"451_CR11","doi-asserted-by":"crossref","unstructured":"Graf, S., Peled, D., Quinton, S.: Achieving distributed control through model checking. In: Proceedings of CAV\u201910, vol. 6174 of LNCS, pp. 396\u2013409. Springer (2010)","DOI":"10.1007\/978-3-642-14295-6_35"},{"key":"451_CR12","doi-asserted-by":"crossref","unstructured":"Graf, S., Peled, D., Quinton, S.: Monitoring distributed systems using knowledge. In: Proceedings of FMOODS-FORTE\u201911, vol. 6722 of LNCS, pp. 183\u2013197. Springer (2011)","DOI":"10.1007\/978-3-642-21461-5_12"},{"key":"451_CR13","doi-asserted-by":"crossref","unstructured":"Graf, S., Quinton, S.: Knowledge for the distributed implementation of constrained systems. In: 10th International Conference on Integrated Formal Methods, iFM 2013, Turku, 10\u201314 June. Proceedings, vol. 7940 of LNCS, pp. 77\u201393. Springer (2013)","DOI":"10.1007\/978-3-642-38613-8_6"},{"issue":"3\u20135","key":"451_CR14","first-page":"194","volume":"80","author":"S Graf","year":"2011","unstructured":"Graf, S., Quinton, S.: Building distributed controllers for systems with priorities. J. Log. Algebr. Program. 80(3\u20135), 194\u2013218 (2011)","journal-title":"J. Log. Algebr. Program."},{"issue":"4","key":"451_CR15","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1145\/128733.128734","volume":"8","author":"R Gotzhein","year":"1990","unstructured":"Gotzhein, R., von Bochmann, G.: Deriving protocol specifications from service specifications including parameters. ACM Trans. Comput. Syst. 8(4), 255\u2013283 (1990)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"4","key":"451_CR16","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF01784885","volume":"3","author":"JY Halpern","year":"1989","unstructured":"Halpern, J.Y., Fagin, R.: Modelling knowledge and action in distributed systems. Distrib. Comput. 3(4), 159\u2013177 (1989)","journal-title":"Distrib. Comput."},{"key":"451_CR17","unstructured":"Kahn, G.: The semantics of simple language for parallel programming. In: IFIP Congress, pp. 471\u2013475 (1974)"},{"issue":"1","key":"451_CR18","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s004460050022","volume":"10","author":"C Kant","year":"1996","unstructured":"Kant, C., Higashino, T., von Bochmann, G.: Deriving protocol specifications from service specifications written in lotos. Distrib. Comput. 10(1), 29\u201347 (1996)","journal-title":"Distrib. Comput."},{"issue":"2","key":"451_CR19","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF02252682","volume":"6","author":"S Katz","year":"1992","unstructured":"Katz, S., Peled, D.: Verification of distributed programs using representative interleaving sequences. Distrib. Comput. 6(2), 107\u2013120 (1992)","journal-title":"Distrib. Comput."},{"key":"451_CR20","doi-asserted-by":"crossref","unstructured":"Katz, G., Peled, D., Schewe, S.: Synthesis of distributed control through knowledge accumulation. In: Proceedings of CAV\u201911, vol. 6806 of LNCS, pp. 510\u2013525. Springer (2011)","DOI":"10.1007\/978-3-642-22110-1_41"},{"issue":"9","key":"451_CR21","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"28","author":"L Lamport","year":"1979","unstructured":"Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. 28(9), 690\u2013691 (1979)","journal-title":"IEEE Trans. Comput."},{"issue":"9","key":"451_CR22","doi-asserted-by":"crossref","first-page":"1656","DOI":"10.1109\/9.880616","volume":"45","author":"S Laurie Ricker","year":"2000","unstructured":"Laurie Ricker, S.: Know means no: incorporating knowledge into discrete-event control systems. IEEE Trans. Autom. Control 45(9), 1656\u20131668 (2000)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"3","key":"451_CR23","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1109\/TAC.2007.892371","volume":"52","author":"S Laurie Ricker","year":"2007","unstructured":"Laurie Ricker, S., Rudie, K.: Knowledge is a terrible thing to waste: using inference in discrete-event control problems. IEEE Trans. Autom. Control 52(3), 428\u2013441 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"3","key":"451_CR24","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0020-0255(88)90002-3","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin, F., Wonham, W.M.: Decentralized supervisory control of discrete-event systems. Inf. Sci. 44(3), 199\u2013224 (1988)","journal-title":"Inf. Sci."},{"issue":"12","key":"451_CR25","doi-asserted-by":"crossref","first-page":"1173","DOI":"10.1002\/cpe.903","volume":"16","author":"JA P\u00e9rez","year":"2004","unstructured":"P\u00e9rez, J.A., Corchuelo, R., Toro, M.: An order-based algorithm for implementing multiparty synchronization. Concurr. Pract. Exp. 16(12), 1173\u20131206 (2004)","journal-title":"Concurr. Pract. Exp."},{"key":"451_CR26","volume-title":"Petri Net Theory and Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and Modeling of Systems. Prentice Hall, Englewood Cliffs (1981)"},{"issue":"4","key":"451_CR27","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1109\/12.88466","volume":"40","author":"RL Probert","year":"1991","unstructured":"Probert, R.L., Saleh, K.: Synthesis of communication protocols: survey and assessment. IEEE Trans. Comput. 40(4), 468\u2013476 (1991)","journal-title":"IEEE Trans. Comput."},{"key":"451_CR28","volume-title":"Petri Nets, an Introduction. EATCS Monographs on Theoretical Computer Science","author":"W Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets, an Introduction. EATCS Monographs on Theoretical Computer Science. Springer, Berlin (1985)"},{"issue":"11","key":"451_CR29","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K Rudie","year":"1992","unstructured":"Rudie, K., Wonham, W.M.: Think globally, act locally: decentralized supervisory control. IEEE Trans. Autom. Control 37(11), 1692\u20131708 (1992)","journal-title":"IEEE Trans. Autom. Control"},{"key":"451_CR30","doi-asserted-by":"crossref","unstructured":"von Bochmann, G., Gotzhein, R.: Deriving protocol specifications from service specifications. In: Proceedings of SIGCOMM\u201986, pp. 148\u2013156. ACM (1986)","DOI":"10.1145\/18172.18190"},{"issue":"3","key":"451_CR31","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1023\/A:1008210519960","volume":"8","author":"KC Wong","year":"1998","unstructured":"Wong, K.C., Wonham, W.M.: Modular control and coordination of discrete-event systems. Discrete Event Dyn. Syst. 8(3), 247\u2013297 (1998)","journal-title":"Discrete Event Dyn. Syst."},{"key":"451_CR32","doi-asserted-by":"crossref","unstructured":"Yamaguchi, H., El-Fakih, K., von Bochmann, G., Higashino, T.: Deriving protocol specifications from service specifications written as predicate\/transition-nets. Comput. Netw. 51(1), 258\u2013284 (2007)","DOI":"10.1016\/j.comnet.2006.03.011"},{"issue":"3","key":"451_CR33","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1023\/A:1015625600613","volume":"12","author":"T-S Yoo","year":"2002","unstructured":"Yoo, T.-S., Lafortune, S.: A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dyn. Syst. 12(3), 335\u2013377 (2002)","journal-title":"Discrete Event Dyn. Syst."},{"key":"451_CR34","doi-asserted-by":"crossref","unstructured":"Yamaguchi, H., Okano, K., Higashino, T., Taniguchi, K.: Synthesis of protocol entities\u2019 specifications from service specifications in a petri net model with registers. In: Proceedings of ICDCS\u201995, pp. 510\u2013517 (1995)","DOI":"10.1109\/ICDCS.1995.500057"},{"issue":"4","key":"451_CR35","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"COM\u201328","author":"P Zafiropulo","year":"1980","unstructured":"Zafiropulo, P., West, C.H., Rudin, H., Cowan, D.D., Brand, D.: Towards analyzing and synthesizing protocols. IEEE Trans. Commun. COM\u201328(4), 651\u2013661 (1980)","journal-title":"IEEE Trans. Commun."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0451-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0451-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0451-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0451-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T00:19:04Z","timestamp":1747700344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0451-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,26]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["451"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0451-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2015,2,26]]}}}