{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:33:54Z","timestamp":1725910434601},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319663012"},{"type":"electronic","value":"9783319663029"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66302-9_3","type":"book-chapter","created":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T09:33:55Z","timestamp":1505122435000},"page":"46-69","source":"Crossref","is-referenced-by-count":0,"title":["Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Pepi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,10]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF01540160","volume":"18","author":"WMP Aalst van der","year":"1996","unstructured":"van der Aalst, W.M.P.: Petri net based scheduling. Oper. Res. Spektrum 18, 219\u2013229 (1996). Springer","journal-title":"Oper. Res. Spektrum"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BFb0031987","volume-title":"Real-Time: Theory in Practice","author":"R Alur","year":"1992","unstructured":"Alur, R., Dill, D.: The theory of timed automata. In: Bakker, J.W., Huizing, C., Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600, pp. 45\u201373. Springer, Heidelberg (1992). doi: 10.1007\/BFb0031987"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Barreto, R., Cavalcante, S., Maciel, P.: A time Petri Net approach for finding preruntime schedules in embedded hard real-time systems. In: Proceedings of Distributed Computing Systems Workshops, pp. 846\u2013851. IEEE (2004)","DOI":"10.1109\/ICDCSW.2004.1284131"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Vernadat, F.: Time petri nets analysis with TINA. In: Quantitative Evaluation of Systems, pp. 123\u2013124. IEEE (2006)","DOI":"10.1002\/9780470611647.ch5"},{"issue":"3","key":"3_CR5","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent system using time petri nets. IEEE Trans. Softw. Eng. 17(3), 259\u2013273 (1991). IEEE","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4614-0676-1","volume-title":"Hard Real-Time Computing System","author":"G Buttazzo","year":"2011","unstructured":"Buttazzo, G.: Hard Real-Time Computing System, 3rd edn. Springer, New York (2011)","edition":"3"},{"key":"3_CR7","unstructured":"Cenelec: Cenelec EN 50128:2011. In: Railway Applications - Communications, Signalling and Processing Systems - Software for Railway Control and Protection Systems (2011)"},{"key":"3_CR8","unstructured":"CPNTools (2015). http:\/\/cpntools.org\/"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-319-05032-4_13","volume-title":"Software Engineering and Formal Methods","author":"A Fantechi","year":"2014","unstructured":"Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 167\u2013183. Springer, Cham (2014). doi: 10.1007\/978-3-319-05032-4_13"},{"issue":"2","key":"3_CR10","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/32.265634","volume":"20","author":"M Felder","year":"1994","unstructured":"Felder, M., Mandrioli, D., Morzenti, A.: Proving properties of real-time systems through logical specifications and petri net models. IEEE Trans. Softw. Eng. 20(2), 127\u2013141 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"3_CR11","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1023\/A:1015673516542","volume":"12","author":"E Grolleau","year":"2002","unstructured":"Grolleau, E., Choquet-Geniet, A.: Off-line computation of real-time schedules using Petri Nets. Discrete Event Dyn. Syst. 12(3), 311\u2013333 (2002). Springer","journal-title":"Discrete Event Dyn. Syst."},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/11513988_41","volume-title":"Computer Aided Verification","author":"G Gardey","year":"2005","unstructured":"Gardey, G., Lime, D., Magnin, M., Roux, O.H.: Romeo: a tool for analyzing time petri nets. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 418\u2013423. Springer, Heidelberg (2005). doi: 10.1007\/11513988_41"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Petri Nets: Central Models and Their Properties","author":"K Jensen","year":"1987","unstructured":"Jensen, K.: Coloured petri nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 254. Springer, Heidelberg (1987)"},{"issue":"3","key":"3_CR14","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. Int. J. Softw. Tools Technol. Transf. 9(3), 213\u2013254 (2007). Springer","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"3","key":"3_CR15","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"13","author":"NG Leveson","year":"1987","unstructured":"Leveson, N.G., Stolzy, J.L.: Safety analysis using Petri Nets. IEEE Trans. Softw. Eng. 13(3), 386\u2013397 (1987)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"3_CR16","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46\u201361 (1973). ACM","journal-title":"J. ACM"},{"issue":"4","key":"3_CR17","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989). IEEE","journal-title":"Proc. IEEE"},{"key":"3_CR18","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)"},{"key":"3_CR19","unstructured":"Petri, C.A.: Kommunikation mit automaten. Ph.D. thesis. Universitat Hamburg (1962)"},{"key":"3_CR20","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by Timed Petri Nets. Massachusetts Institute of Technology (1974)"},{"key":"3_CR21","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.7053","volume":"21","author":"J Stankovic","year":"1988","unstructured":"Stankovic, J.: Misconceptions about real-time computing. IEEE Comput. 21, 10\u201319 (1988). IEEE","journal-title":"IEEE Comput."},{"key":"3_CR22","unstructured":"TINA (2015). http:\/\/projects.laas.fr\/tina\/"},{"issue":"1","key":"3_CR23","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/32.341845","volume":"21","author":"J Tsai","year":"1995","unstructured":"Tsai, J., Yang, S.J., Chang, Y.-H.: Timing constraint Petri Nets and their application to schedulability analysis of real-time system specifications. IEEE Trans. Softw. Eng. 21(1), 32\u201349 (1995). IEEE","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66302-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T05:10:22Z","timestamp":1570079422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66302-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663012","9783319663029"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66302-9_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}