{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T09:10:08Z","timestamp":1748769008761,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319291321"},{"type":"electronic","value":"9783319291338"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-29133-8_11","type":"book-chapter","created":{"date-parts":[[2016,2,2]],"date-time":"2016-02-02T07:38:55Z","timestamp":1454398735000},"page":"214-235","source":"Crossref","is-referenced-by-count":1,"title":["Resource Allocation Mechanisms and Time Constraint Propagation Techniques in Fuzzy Workflow Nets"],"prefix":"10.1007","author":[{"given":"Joslaine Cristina Jeske","family":"de Freitas","sequence":"first","affiliation":[]},{"given":"St\u00e9phane","family":"Julia","sequence":"additional","affiliation":[]},{"given":"Leiliane Pereira","family":"de Rezende","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,3]]},"reference":[{"key":"11_CR1","volume-title":"Workflow Management: Models, Methods, and Systems","author":"WMP Aalst","year":"2004","unstructured":"Aalst, W.M.P., Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2004)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"WMP Aalst","year":"1997","unstructured":"Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"issue":"2\u20133","key":"11_CR3","first-page":"243","volume":"71","author":"K Hee","year":"2006","unstructured":"Hee, K., Sidorova, N., Voorhoeve, M.: Fundam. Inf. 71(2\u20133), 243\u2013257 (2006)","journal-title":"Fundam. Inf."},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-642-21461-5_17","volume-title":"Formal Techniques for Distributed Systems","author":"M Martos-Salgado","year":"2011","unstructured":"Martos-Salgado, M., Rosa-Velardo, F.: Dynamic soundness in resource-constrained workflow nets. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol. 6722, pp. 259\u2013273. Springer, Heidelberg (2011)"},{"issue":"5","key":"11_CR5","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1142\/S0218194013400135","volume":"23","author":"J Wang","year":"2013","unstructured":"Wang, J., Li, D.: Resource oriented workflow nets and workflow resource requirement analysis. Int. J. Softw. Eng. Knowl. Eng. 23(5), 677\u2013694 (2013)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Ling, S., Schmidt, H.: Time petri nets for workflow modelling and analysis. In: 2000 IEEE International Conference on Systems, Man and Cybernetics, vol. 4, pp. 3039\u20133044. IEEE (2000)","DOI":"10.1109\/ICSMC.2000.884464"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Kotb, Y.T., Badreddin, E.: Synchronization among activities in a workflow using extended workflow petri nets. In: CEC, pp. 548\u2013551. IEEE Computer Society (2005)","DOI":"10.1109\/ICECT.2005.89"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1109\/TSMCC.2009.2009125","volume":"39","author":"J Wang","year":"2009","unstructured":"Wang, J., Tepfenhart, W.M., Rosca, D.: Emergency response workflow resource requirements modeling and analysis. IEEE Trans. Syst. Man Cybern. Part C 39(3), 270\u2013283 (2009)","journal-title":"IEEE Trans. Syst. Man Cybern. Part C"},{"key":"11_CR9","unstructured":"Adogla, E.G., Collins, J.W.: Managing resource dependent workflows. US Patent 8,738,775, 27 May 2014"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.future.2013.09.030","volume":"38","author":"L He","year":"2014","unstructured":"He, L., Chaudhary, N., Jarvis, S.A.: Developing security-aware resource management strategies for workflows. Future Gener. Comput. Syst. 38, 61\u201368 (2014)","journal-title":"Future Gener. Comput. Syst."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"458","DOI":"10.4028\/www.scientific.net\/AMM.442.458","volume":"442","author":"N Deng","year":"2014","unstructured":"Deng, N., Zhu, X.D., Liu, Y.N., Li, Y.P., Chen, Y.: Time management model of workflow based on time axis. Appl. Mech. Mater. 442, 458\u2013465 (2014)","journal-title":"Appl. Mech. Mater."},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-54370-8_11","volume-title":"Web Information Systems Engineering \u2013 WISE 2013 Workshops","author":"X Guo","year":"2014","unstructured":"Guo, X., Ge, J., Zhou, Y., Hu, H., Yao, F., Li, C., Hu, H.: Dynamically predicting the deadlines in time-constrained workflows. In: Huang, Z., Liu, C., He, J., Huang, G. (eds.) WISE Workshops 2013. LNCS, vol. 8182, pp. 120\u2013132. Springer, Heidelberg (2014)"},{"issue":"2","key":"11_CR13","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1109\/70.282537","volume":"10","author":"DY Lee","year":"1994","unstructured":"Lee, D.Y., DiCesare, F.: Scheduling flexible manufacturing systems using petri nets and heuristic search. IEEE Trans. Robot. Autom. 10(2), 123\u2013132 (1994)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Ling, S., Schmidt, H.: Time petri nets for workflow modelling and analysis. In: 2000 IEEE International Conference on Systems, Man, and Cybernetics, vol. 4, pp. 3039\u20133044. IEEE (2000)","DOI":"10.1109\/ICSMC.2000.884464"},{"key":"11_CR15","first-page":"002","volume":"4","author":"DS Zhu","year":"2003","unstructured":"Zhu, D.S., Rong, T.J., Dong, L.G.: An extended time workflow model based on twf-net and its application. J. Comput. Res. Dev. 4, 002 (2003)","journal-title":"J. Comput. Res. Dev."},{"key":"11_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-5287-7","volume-title":"Possibility Theory","author":"D Dubois","year":"1988","unstructured":"Dubois, D., Prade, H.: Possibility Theory. Plenum Press, New York (1988)"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Inf. Control 8, 338\u2013353 (1965)","journal-title":"Inf. Control"},{"key":"11_CR18","volume-title":"Fuzzy Sets and Fuzzy Logic: Theory and Applications","author":"G Klir","year":"1995","unstructured":"Klir, G., Yuan, B.: Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall Inc., Upper Saddle River (1995)"},{"issue":"5","key":"11_CR19","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/3477.790440","volume":"29","author":"J Cardoso","year":"1999","unstructured":"Cardoso, J., Valette, R., Dubois, D.: Possibilistic petri nets. IEEE Trans. Syst. Man Cybern. Part B 29(5), 573\u2013582 (1999)","journal-title":"IEEE Trans. Syst. Man Cybern. Part B"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1109\/21.35337","volume":"19","author":"D Dubois","year":"1989","unstructured":"Dubois, D., Prade, H.: Processing fuzzy temporal knowledge. IEEE Syst. Man Cybern. 19, 729\u2013744 (1989)","journal-title":"IEEE Syst. Man Cybern."},{"key":"11_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9","volume-title":"Discrete, Continuous, and Hybrid Petri Nets","author":"R David","year":"2010","unstructured":"David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets, 2nd edn. Springer, Heidelberg (2010)","edition":"2"},{"issue":"4","key":"11_CR22","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1016\/j.simpat.2008.01.006","volume":"16","author":"S Julia","year":"2008","unstructured":"Julia, S., Oliveira, F.F., Valette, R.: Real time scheduling of workflow management systems based on a p-time petri net model with hybrid resources. Simul. Model. Pract. Theor. 16(4), 462\u2013482 (2008)","journal-title":"Simul. Model. Pract. Theor."},{"issue":"4","key":"11_CR23","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. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"11_CR24","volume-title":"Graphs and Algorithms","author":"M Gondran","year":"1984","unstructured":"Gondran, M., Minoux, M., Vajda, S.: Graphs and Algorithms. Wiley, New York (1984)"},{"issue":"5","key":"11_CR25","doi-asserted-by":"publisher","first-page":"307319","DOI":"10.1016\/S0928-4869(00)00021-5","volume":"8","author":"S Julia","year":"2000","unstructured":"Julia, S., Valette, R.: Real time scheduling of batch systems. Simul. Pract. Theor. 8(5), 307319 (2000)","journal-title":"Simul. Pract. Theor."}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29133-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T08:36:30Z","timestamp":1748766990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29133-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319291321","9783319291338"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29133-8_11","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2015]]}}}