{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T19:40:07Z","timestamp":1745178007791,"version":"3.40.4"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,11,13]],"date-time":"2012-11-13T00:00:00Z","timestamp":1352764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10009-012-0264-8","type":"journal-article","created":{"date-parts":[[2012,11,13]],"date-time":"2012-11-13T09:41:11Z","timestamp":1352799671000},"page":"269-286","source":"Crossref","is-referenced-by-count":1,"title":["Modeling task systems using parameterized partial orders"],"prefix":"10.1007","volume":"15","author":[{"given":"Fred","family":"Houben","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgeta","family":"Igna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,11,13]]},"reference":[{"key":"264_CR1","doi-asserted-by":"crossref","unstructured":"Houben, F., Igna, G., Vaandrager, F.: Modeling task systems using parameterized partial orders. In: Di Natale, M. (eds.) Proceedings 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012), Beijing China, April 16\u201319, 2012, pp. 317\u2013327. IEEE Computer Society, New York (2012)","DOI":"10.1109\/RTAS.2012.34"},{"key":"264_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6127-9","volume-title":"Hardware\u2013Software Co-Design of Embedded Systems: The POLIS Approach","author":"F Balarin","year":"1997","unstructured":"Balarin, F., Chiodo, M., Giusto, P., Hsieh, H., Jurecska, A., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A., Sentovich, E., Suzuki, K., Tabbara, B.: Hardware\u2013Software Co-Design of Embedded Systems: The POLIS Approach. Kluwer Academic Press, Dordrecht (1997)"},{"key":"264_CR3","doi-asserted-by":"crossref","unstructured":"Kienhuis, B., Deprettere, E.F., Vissers, K.A., van der Wolf, P.: An approach for quantitative analysis of application-specific dataflow architectures. In: ASAP, pp. 338\u2013349. IEEE Computer Society, New York (1997)","DOI":"10.1109\/ASAP.1997.606839"},{"key":"264_CR4","unstructured":"Nieuwelaar, N.V.D., Mortel-Fronczak, J.V.D., Rooda, J.: Design of supervisory machine control. In: European Control Conference (2003)"},{"key":"264_CR5","unstructured":"Hendriks, M., van den Nieuwelaar, B., Vaandrager, F.: Recognizing finite repetitive scheduling patterns in manufacturing systems. In MISTA 2003, The University of Nottingham, pp. 291\u2013319 (2003)"},{"key":"264_CR6","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.W.: Compositional semantics of pure place\/transition systems. In: European Workshop on Applications and Theory of Petri Nets, ser. Lecture Notes in Computer Science, vol. 340, pp. 307\u2013330. Springer, Berlin (1987)","DOI":"10.1007\/3-540-50580-6_35"},{"key":"264_CR7","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V Pratt","year":"1986","unstructured":"Pratt, V.: Modeling concurrency with partial orders. Int. J. Parallel Program. 15, 33\u201371 (1986)","journal-title":"Int. J. Parallel Program."},{"key":"264_CR8","doi-asserted-by":"crossref","unstructured":"Winskel, G.: An introduction to event structures. In REX Workshop, ser. Lecture Notes in Computer Science, vol. 354, pp. 364\u2013397. Springer, Berlin (1988)","DOI":"10.1007\/BFb0013026"},{"issue":"3\u20134","key":"264_CR9","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and cpn tools for modelling and validation of concurrent systems. STTT 9(3\u20134), 213\u2013254 (2007)","journal-title":"STTT"},{"key":"264_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets\u2014Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets\u2014Modelling and Validation of Concurrent Systems. Springer, Berlin (2009)"},{"key":"264_CR11","doi-asserted-by":"crossref","unstructured":"Tr\u010dka, N., Voorhoeve, M., Basten, T.: Parameterized partial orders for modeling embedded system use cases: formal definition and translation to coloured petri nets. In: ACSD, pp. 13\u201318 (2011)","DOI":"10.1109\/ACSD.2011.14"},{"key":"264_CR12","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: SFM, ser. Lecture Notes in Computer Science, vol. 3185. pp. 200\u2013236. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"issue":"2","key":"264_CR13","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"264_CR14","doi-asserted-by":"crossref","unstructured":"Abdedda\u00efm, Y., Kerbaa, A., Maler, O.: Task graph scheduling using timed automata. In: IPDPS. IEEE Computer Society, New York (2003)","DOI":"10.1109\/IPDPS.2003.1213431"},{"key":"264_CR15","doi-asserted-by":"crossref","unstructured":"Mikucionis, M., Larsen, K.G., Rasmussen, J.I., Nielsen, B., Skou, A., Palm, S.U., Pedersen, J.S., Hougaard, P.: Schedulability analysis using uppaal: Herschel-planck case study. In: Margaria, T., Steffen, B. (eds). Leveraging Applications of Formal Methods, Verification, and Validation\u20144th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18\u201321, 2010, Proceedings, Part II, ser. Lecture Notes in Computer Science, vol. 6416, pp. 175\u2013190, Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16561-0_21"},{"key":"264_CR16","doi-asserted-by":"crossref","unstructured":"Hendriks, M., Verhoef, M.: Timed automata based analysis of embedded system architectures. In: IPDPS. IEEE, New York (2006)","DOI":"10.1109\/IPDPS.2006.1639422"},{"issue":"1\u20132","key":"264_CR17","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/s10617-008-9015-1","volume":"13","author":"S Perathoner","year":"2009","unstructured":"Perathoner, S., Wandeler, E., Thiele, L., Hamann, A., Schliecker, S., Henia, R., Racu, R., Ernst, R., Harbour, M.G.: Influence of different abstractions on the performance analysis of distributed hard real-time systems. Design Autom. Embed. Syst. 13(1\u20132), 27\u201349 (2009)","journal-title":"Design Autom. Embed. Syst."},{"issue":"3","key":"264_CR18","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/1952522.1952527","volume":"10","author":"J Berendsen","year":"2011","unstructured":"Berendsen, J., Gebremichael, B., Vaandrager, F.W., Zhang, M.: Formal specification and analysis of zeroconf using uppaal. ACM Trans. Embed. Comput. Syst. 10(3), 34 (2011)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"264_CR19","doi-asserted-by":"crossref","unstructured":"Cassez, F., Jessen, J.J., Larsen, K.G., Raskin, J.-F., Reynier, P.-A.: Automatic synthesis of robust and optimal controllers\u2014an industrial case study. In: HSCC, ser. Lecture Notes in Computer Science, vol. 5469, pp. 90\u2013104. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-00602-9_7"},{"key":"264_CR20","doi-asserted-by":"crossref","unstructured":"Igna, G., Kannan, V., Yang, Y., Basten, T., Geilen, M., Vaandrager, F.W., Voorhoeve, M., de Smet, S., Somers, L.J.: Formal modeling and scheduling of datapaths of digital document printers. In: FORMATS, ser. Lecture Notes in Computer Science, vol. 5215, pp. 170\u2013187. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-85778-5_13"},{"key":"264_CR21","doi-asserted-by":"crossref","unstructured":"Igna, G., Vaandrager, F.W.: Verification of printer datapaths using timed automata. In: ISoLA (2), ser. Lecture Notes in Computer Science, vol. 6416, pp. 412\u2013423. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16561-0_38"},{"key":"264_CR22","doi-asserted-by":"crossref","unstructured":"AlAttili, I., Houben, F., Igna, G., Michels, S., Zhu, F., Vaandrager, F.W.: Adaptive scheduling of data paths using uppaal tiga. In: QFM, ser. EPTCS, vol. 13, pp. 1\u201311 (2009)","DOI":"10.4204\/EPTCS.13.1"},{"key":"264_CR23","doi-asserted-by":"crossref","unstructured":"Basten, T., van Benthum, E., Geilen, M., Hendriks, M., Houben, F., Igna, G., Reckers, F., de Smet, S., Somers, L.J., Teeselink, E., Tr\u010dka, N., Vaandrager, F., Verriet, J., Voorhoeve, M., Yang, Y.: Model-driven design-space exploration for embedded systems: the octopus toolset. In: ISoLA (1), ser. Lecture Notes in Computer Science, vol. 6415, pp. 90\u2013105. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0_10"},{"key":"264_CR24","doi-asserted-by":"crossref","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46\u201361 (1973)","DOI":"10.1145\/321738.321743"},{"key":"264_CR25","doi-asserted-by":"crossref","unstructured":"Mok, A.K., Feng, A.X., Chen, D.: Resource partition for real-time systems. In: IEEE Real Time Technology and Applications Symposium, pp. 75\u201384. IEEE Computer Society, New York (2001)","DOI":"10.1109\/RTTAS.2001.929867"},{"key":"264_CR26","unstructured":"Chakraborty, S., K\u00fcnzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: DATE, pp. 10190\u201310195. IEEE Computer Society, New York (2003)"},{"issue":"2","key":"264_CR27","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1049\/ip-cdt:20045088","volume":"152","author":"R Henia","year":"2005","unstructured":"Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis\u2014the SymTA\/S approach. IEEE Proc. Comput. Digit. Tech. 152(2), 148\u2013166 (2005)","journal-title":"IEEE Proc. Comput. Digit. Tech."},{"key":"264_CR28","doi-asserted-by":"crossref","unstructured":"Norstr\u00f6m, C., Wall, A., Yi, W.: Timed automata as task models for event-driven systems. In: RTCSA, pp. 182\u2013189. IEEE Computer Society, New York (1999)","DOI":"10.1109\/RTCSA.1999.811218"},{"key":"264_CR29","doi-asserted-by":"crossref","unstructured":"Krc\u00e1l, P., Stigge, M., Yi, W.: Multi-processor schedulability analysis of preemptive real-time tasks with variable execution times. In: FORMATS, ser. Lecture Notes in Computer Science. vol. 4763, pp. 274\u2013289. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75454-1_20"},{"issue":"8","key":"264_CR30","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E Fersman","year":"2007","unstructured":"Fersman, E., Krc\u00e1l, P., Pettersson, P., Yi, W.: Task automata: schedulability, decidability and undecidability. Inf. Comput. 205(8), 1149\u20131172 (2007)","journal-title":"Inf. Comput."},{"key":"264_CR31","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and petri nets. CoRR, vol. abs\/0912.4023 (2009)","DOI":"10.1016\/j.tcs.2009.06.014"},{"key":"264_CR32","unstructured":"Octopus toolset homepage. http:\/\/dse.esi.nl (2011)"},{"key":"264_CR33","doi-asserted-by":"crossref","unstructured":"Christensen, S., Kristensen, L.M., Mailund, T.: A sweep-line method for state space exploration. In: TACAS, ser. Lecture Notes in Computer Science, vol. 2031, pp. 450\u2013464. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45319-9_31"},{"key":"264_CR34","doi-asserted-by":"crossref","unstructured":"Peled, D.: Ten years of partial order reduction. In: CAV, ser. Lecture Notes in Computer Science, vol. 1427, pp. 17\u201328. Springer, Berlin (1998)","DOI":"10.1007\/BFb0028727"},{"key":"264_CR35","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In: CAV, ser. Lecture Notes in Computer Science, vol. 663, pp. 164\u2013177. Springer, Berlin (1992)","DOI":"10.1007\/3-540-56496-9_14"},{"key":"264_CR36","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Palopoli, L., Ramadian, Y.: Symbolic computation of schedulability regions using parametric timed automata. In: Proceedings of the 29th IEEE Real-Time Systems Symposium, RTSS 2008, Barcelona, Spain, 30 November\u20133 December 2008, pp. 80\u201389. IEEE Computer Society, New York (2008)","DOI":"10.1109\/RTSS.2008.36"},{"key":"264_CR37","unstructured":"Simalatsar, A., Ramadian, Y., Lampka, K., Perathoner, S., Passerone, R., Thiele, L.: Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. In: Gupta, R.K., Mooney, V.J. (eds.) Proceedings of the 14th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2011, Part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9\u201314, 2011, pp. 155\u2013164. ACM, New York (2011)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0264-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0264-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0264-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T19:26:29Z","timestamp":1745177189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0264-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,13]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["264"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0264-8","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2012,11,13]]}}}