{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T09:11:44Z","timestamp":1762161104370,"version":"3.40.5"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319133492"},{"type":"electronic","value":"9783319133508"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13350-8_28","type":"book-chapter","created":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T07:46:18Z","timestamp":1418111178000},"page":"379-393","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Mark-Oliver","family":"Stehr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minyoung","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"McCarthy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,10]]},"reference":[{"key":"28_CR1","unstructured":"OpenCL 1.1 Specification (September 2010)"},{"key":"28_CR2","unstructured":"Arvind, B.: A language for hardware design, simulation, synthesis and verification. In: Proc. First ACM\/IEEE Int. Conf. Formal Methods and Models for Co-Design, MEMOCODE 2003, pp. 249 (2003)"},{"key":"28_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/214283.214288","volume":"25","author":"F Baccelli","year":"1995","unstructured":"Baccelli, F., Furmento, N., Gaujal, B.: Parallel and distributed simulation of free choice Petri nets. SIGSIM Simul. Dig. 25, 3\u201310 (1995)","journal-title":"SIGSIM Simul. Dig."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Best, E.: Structure theory of Petri nets: The free choice hiatus. In: Advances in Petri Nets 1986, Part I on Petri Nets: Central Models and Their Properties, pp. 168\u2013205. Springer-Verlag (1987)","DOI":"10.1007\/978-3-540-47919-2_8"},{"key":"28_CR5","unstructured":"Brown, O., Eremenko, P.: Fractionated space architectures: A vision for responsive space. In: 4th Responsive Space Conf. (2006)"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Chiola, G., Ferscha, A.: Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency. In: 14th Int. Conf. Application and Theory of Petri Nets, pp. 14\u20136 (1993)","DOI":"10.1007\/3-540-56863-8_45"},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1327452.1327492","volume":"51","author":"J Dean","year":"2008","unstructured":"Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. Commun. ACM 51, 107\u2013113 (2008)","journal-title":"Commun. ACM"},{"key":"28_CR8","first-page":"219","volume":"13","author":"E Deelman","year":"2005","unstructured":"Deelman, E., Singh, G., Su, M.-H., Blythe, J., Gil, Y., Kesselman, C., Mehta, G., Vahi, K., Berriman, G.B., Good, J., Laity, A., Jacob, J.C., Katz, D.S.: Pegasus: A framework for mapping complex scientific workflows onto distributed systems. Sci. Program. 13, 219\u2013237 (2005)","journal-title":"Sci. Program."},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. CUP (1995)","DOI":"10.1017\/CBO9780511526558"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Dressler. F.: Self-Organization in Sensor and Actor Networks. Wiley (2008)","DOI":"10.1002\/9780470724460"},{"key":"28_CR11","volume-title":"Delay- and Disruption-Tolerant Networking","author":"S Farrell","year":"2006","unstructured":"Farrell, S., Cahill, V.: Delay- and Disruption-Tolerant Networking. Artech House Inc, Norwood, MA, USA (2006)"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Ferscha, A.: Optimistic distributed execution of business process models. In: Proc. 31st Annual Hawaii Int. Conf. System Sciences-Volume 7, HICSS (1998)","DOI":"10.1109\/HICSS.1998.649275"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Gehani, A., Lindqvist, U.: Bonsai: Balanced lineage authentication. In: IEEE Annual Computer Security Applications Conf. (ACSAC) (2007)","DOI":"10.1109\/ACSAC.2007.45"},{"key":"28_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"28_CR15","unstructured":"Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag (2001)"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Jacobson, V., Smetters, D.K., Thornton, J.D., Plass, M.F., Briggs, N.H., Braynard, R.L.: Networking named content. In: Proc. 5th Int. Conf. Emerging Networking Experiments and Technologies, CoNEXT 2009, pp. 1\u201312 (2009)","DOI":"10.1145\/1658939.1658941"},{"key":"28_CR17","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol. 1. Springer-Verlag (1995)"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.O., Kim, J., Ha, S.: An application framework for loosely coupled networked cyber-physical systems. In: IEEE\/IFIP Int. Conf. Embedded and Ubiquitous Computing, EUC 2010, pp. 144\u2013153 (2010)","DOI":"10.1109\/EUC.2010.30"},{"key":"28_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-29320-7_13","volume-title":"Fundamentals of Software Engineering","author":"M Kim","year":"2012","unstructured":"Kim, M., Stehr, M.-O., Talcott, C.: A distributed logic for networked cyber-physical systems. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol. 7141, pp. 190\u2013205. Springer, Heidelberg (2012)"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Knoke, M., Zimmermann, A.: Distributed simulation of colored stochastic Petri nets with timenet 4.0. In: Proc. 3rd Int. Conf. Quantitative Evaluation of Systems, pp. 117\u2013118 (2006)","DOI":"10.1109\/QEST.2006.16"},{"key":"28_CR21","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/1282427.1282402","volume":"37","author":"T Koponen","year":"2007","unstructured":"Koponen, T., Chawla, M., Chun, B.-G., Ermolinskiy, A., Kim, K.H., Shenker, S., Stoica, I.: A data-oriented (and beyond) network architecture. SIGCOMM Comput. Commun. Rev. 37, 181\u2013192 (2007)","journal-title":"SIGCOMM Comput. Commun. Rev."},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"Kummer, O., Stehr, M.O.: Petri\u2019s axioms of concurrency- a selection of recent results. In: Proc. 18th Int. Conf. Application and Theory of Petri Nets, pp. 195\u2013214. Springer-Verlag (1997)","DOI":"10.1007\/3-540-63139-9_37"},{"key":"28_CR23","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking: Language, execution and optimization. In: Proc. 2006 ACM SIGMOD Int. Conf. Management of Data, pp. 97\u2013108 (2006)","DOI":"10.1145\/1142473.1142485"},{"key":"28_CR25","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theo. Comput. Sci. 96, 73\u2013155 (1992)","journal-title":"Theo. Comput. Sci."},{"key":"28_CR26","doi-asserted-by":"crossref","unstructured":"Montanari, U., Rossi, F.: Contextual nets. Acta Informatica, 32(6) (1995)","DOI":"10.1007\/BF01178907"},{"issue":"3","key":"28_CR27","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/1151695.1151698","volume":"15","author":"AL Murphy","year":"2006","unstructured":"Murphy, A.L., Picco, G.P., Roman, G.-C.: Lime: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Methodol. 15(3), 279\u2013328 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"28_CR28","unstructured":"Murray, D.G., Schwarzkopf, M., Smowton, C., Smith, S., Madhavapeddy, A., Hand, S.: CIEL: A universal execution engine for distributed data-flow computing. In: Proc. 8th USENIX Conf. Networked Systems Design and Implementation, NSDI 2011 (2011)"},{"issue":"2","key":"28_CR29","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/TC.2003.1176983","volume":"52","author":"J Pereira","year":"2003","unstructured":"Pereira, J., Rodrigues, L., Oliveira, R.: Semantically reliable multicast: Definition, implementation, and performance evaluation. IEEE Trans. Comput. 52(2), 150\u2013165 (2003)","journal-title":"IEEE Trans. Comput."},{"key":"28_CR30","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00116-6","volume":"153","author":"CA Petri","year":"1996","unstructured":"Petri, C.A.: Nets, time and space. Theor. Comput. Sci. 153, 3\u201348 (1996)","journal-title":"Theor. Comput. Sci."},{"key":"28_CR31","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer-Verlag (1998)","DOI":"10.1007\/978-3-662-03687-7"},{"key":"28_CR32","doi-asserted-by":"crossref","unstructured":"Sgroi, M., Lavagno, L., Watanabe, Y., Sangiovanni-Vincentelli, A.: Synthesis of embedded software using free-choice Petri nets. In: Proc. ACM\/IEEE Design Automation Conf., DAC 1999, pp. 805\u2013810 (1999)","DOI":"10.1145\/309847.310073"},{"key":"28_CR33","doi-asserted-by":"crossref","unstructured":"Stehr, M.O., Kim, M., McCarthy, T.: A distributed computing model for dataflow, controlflow, and workflow in fractionated cyber-physical systems (full version) (2014). http:\/\/ncps.csl.sri.com\/papers\/cpsflows.pdf","DOI":"10.1007\/978-3-319-13350-8_28"},{"key":"28_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-642-16355-5_32","volume-title":"Ubiquitous Intelligence and Computing","author":"M-O Stehr","year":"2010","unstructured":"Stehr, M.-O., Kim, M., Talcott, C.: Toward distributed declarative control of networked cyber-physical systems. In: Yu, Z., Liscano, R., Chen, G., Zhang, D., Zhou, X. (eds.) UIC 2010. LNCS, vol. 6406, pp. 397\u2013413. Springer, Heidelberg (2010)"},{"key":"28_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-45541-8_9","volume-title":"Unifying Petri Nets","author":"M-O Stehr","year":"2001","unstructured":"Stehr, M.-O., Meseguer, J., \u00d6lveczky, P.C.: Rewriting Logic as a Unifying Framework for Petri Nets. In: Ehrig, H., Juh\u00e1s, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, pp. 250\u2013303. Springer, Heidelberg (2001)"},{"key":"28_CR36","doi-asserted-by":"crossref","unstructured":"Stehr, M.O., Talcott, C.: Planning and learning algorithms for routing in disruption-tolerant networks. In: IEEE Military Communications Conf. (2008)","DOI":"10.1109\/MILCOM.2008.4753336"},{"key":"28_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-24933-4_7","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M-O Stehr","year":"2011","unstructured":"Stehr, M.-O., Talcott, C., Rushby, J., Lincoln, P., Kim, M., Cheung, S., Poggio, A.: Fractionated software for networked cyber-physical systems: research directions and long-term vision. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 110\u2013143. Springer, Heidelberg (2011)"},{"key":"28_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/11880646_10","volume-title":"Multiple representations of biological processes","author":"C Talcott","year":"2006","unstructured":"Talcott, C., Dill, D.L.: Multiple representations of biological processes. Trans, Computational Systems Biology (2006)"},{"issue":"1","key":"28_CR39","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP van der Aalst","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. of Circuits, Systems, and Computers 8(1), 21\u201366 (1998)","journal-title":"J. of Circuits, Systems, and Computers"},{"key":"28_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/BFb0055644","volume-title":"CONCUR \u201998 Concurrency Theory","author":"W Vogler","year":"1998","unstructured":"Vogler, W., Semenov, A., Yakovlev, A.: Unfolding and finite prefix for nets with read arcs. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 501\u2013516. Springer, Heidelberg (1998)"},{"key":"28_CR41","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Event structures. In: Advances in Petri Nets 1986, Part II on Petri nets: Applications and Relationships to Other Models of Concurrency, pp. 325\u2013392. Springer (1987)","DOI":"10.1007\/3-540-17906-2_31"}],"container-title":["Lecture Notes in Computer Science","Computing with New Resources"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13350-8_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T00:01:02Z","timestamp":1747180862000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-13350-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319133492","9783319133508"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13350-8_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"10 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}