{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,19]],"date-time":"2024-03-19T11:02:31Z","timestamp":1710846151391},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,5,5]],"date-time":"2011-05-05T00:00:00Z","timestamp":1304553600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1007\/s10462-011-9218-x","type":"journal-article","created":{"date-parts":[[2011,5,4]],"date-time":"2011-05-04T10:44:15Z","timestamp":1304505855000},"page":"43-67","source":"Crossref","is-referenced-by-count":13,"title":["Petri net-based context modeling for context-aware systems"],"prefix":"10.1007","volume":"37","author":[{"given":"Seungwok","family":"Han","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hee Yong","family":"Youn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,5,5]]},"reference":[{"key":"9218_CR1","volume-title":"The new everything","author":"E Aarts","year":"2003","unstructured":"Aarts E, Marzano S (2003) The new everything. 010 publishers, Rotterdam"},{"key":"9218_CR2","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/j.pmcj.2009.07.014","volume":"6","author":"A Achilleos","year":"2010","unstructured":"Achilleos A, Yang K, Georgalas N (2010) Context modeling and a context-aware framework for pervasive service creation: a model-driven approach. Pervasive Mobile Comput 6: 281\u2013296","journal-title":"Pervasive Mobile Comput"},{"key":"9218_CR3","doi-asserted-by":"crossref","unstructured":"Baek KW, Lyu CH, et\u00a0al (2009) Modeling the contexts without distracting the perspectives of the agents in distributed reasoning. In: Cyber-enabled distributed computing and knowledge discovery, 2009. CyberC\u201909. International conference on, IEEE, pp 207\u2013213","DOI":"10.1109\/CYBERC.2009.5342176"},{"issue":"3","key":"9218_CR4","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time petri nets. IEEE Trans Softw Eng 17(3): 259\u2013273","journal-title":"IEEE Trans Softw Eng"},{"key":"9218_CR5","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.pmcj.2009.06.002","volume":"6","author":"C Bettini","year":"2010","unstructured":"Bettini C, Brdiczka ea O (2010) A survey of context modeling and reasoning techniques. Pervasive Mobile Comput 6: 161\u2013180","journal-title":"Pervasive Mobile Comput"},{"issue":"5","key":"9218_CR6","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1016\/j.pmcj.2008.04.002","volume":"4","author":"C Bettini","year":"2008","unstructured":"Bettini C, Pareschi L, D R (2008) Efficient profile aggregation and policy evaluation in a middleware for adaptive mobile applications. Pervasive Mobile Comput 4(5): 697\u2013718","journal-title":"Pervasive Mobile Comput"},{"issue":"2","key":"9218_CR7","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/s00165-007-0050-7","volume":"20","author":"H Boucheneb","year":"2008","unstructured":"Boucheneb H (2008) Interval timed coloured petri net: efficient construction of its state class space preserving linear properties. Formal Aspects Comput 20(2): 225\u2013238","journal-title":"Formal Aspects Comput"},{"issue":"12","key":"9218_CR8","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1109\/32.489073","volume":"21","author":"G Bucci","year":"2002","unstructured":"Bucci G, Vicario E (2002) Compositional validation of time-critical systems using communicating time Petri nets. Softw Eng IEEE Trans 21(12): 969\u2013992","journal-title":"Softw Eng IEEE Trans"},{"key":"9218_CR9","doi-asserted-by":"crossref","unstructured":"Bucci G, Sassoli L, Vicario E (2005) Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets. IEEE Trans Softw Eng, 913\u2013927","DOI":"10.1109\/TSE.2005.122"},{"issue":"1","key":"9218_CR10","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s007790170019","volume":"5","author":"A Dey","year":"2001","unstructured":"Dey A (2001) Understanding and using context. Personal Ubiquitous Comput 5(1): 4\u20137","journal-title":"Personal Ubiquitous Comput"},{"issue":"5","key":"9218_CR11","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1109\/TSMCA.2007.902622","volume":"37","author":"YY Du","year":"2007","unstructured":"Du YY, Jiang CJ, Zhou MC (2007) Modeling and analysis of real-time cooperative systems using petri nets. IEEE Trans Syst Man Cybern A Syst Hum 37(5): 643\u2013654","journal-title":"IEEE Trans Syst Man Cybern A Syst Hum"},{"issue":"4","key":"9218_CR12","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1016\/0026-2714(91)90009-V","volume":"31","author":"G Florin","year":"1991","unstructured":"Florin G, Fraize C, Natkin S (1991) Stochastic petri nets: properties, applications and tools. Microelectron Reliab 31(4): 669\u2013697","journal-title":"Microelectron Reliab"},{"issue":"2\u20133","key":"9218_CR13","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/j.compind.2007.06.016","volume":"59","author":"S Ha","year":"2008","unstructured":"Ha S, Suh HW (2008) A timed colored Petri nets modeling for dynamic workflow in product development process. Comput Ind 59(2\u20133): 193\u2013209","journal-title":"Comput Ind"},{"key":"9218_CR14","doi-asserted-by":"crossref","unstructured":"Han J, Cho Y, Choi J (2005) A workflow language based on structural context model for ubiquitous computing. In: Embedded and ubiquitous computing. Lecture Notes in Computer Science, vol 3824, pp 879\u2013889","DOI":"10.1007\/11596356_87"},{"key":"9218_CR15","unstructured":"Han S, Song SK, Youn HY (2006) CALM: an intelligent agent-based middleware for community computing. In: Software technologies for future embedded and ubiquitous systems, SEUS 2006\/WCCIA 2006, IEEE, p 6"},{"key":"9218_CR16","unstructured":"Han S, Song SK, Youn HY (2009) Modeling and verification of context-awareness service for time critical applications using colored petri-net. In: Web intelligence and intelligent agent technology, 2008. WI-IAT\u201908. IEEE\/WIC\/ACM international conference on, IEEE, vol 2, pp 71\u201374"},{"key":"9218_CR17","volume-title":"Modeling and analysis of time critical context aware service using extended interval timed colored petri. nets. Tech. rep., The school of information and communication engineering","author":"S Han","year":"2010","unstructured":"Han S, Song SK, Youn HY (2010) Modeling and analysis of time critical context aware service using extended interval timed colored petri. nets. Tech. rep., The school of information and communication engineering. Sungkyunkwan University, Seoul"},{"issue":"1","key":"9218_CR18","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/j.pmcj.2005.07.003","volume":"2","author":"K Henricksen","year":"2006","unstructured":"Henricksen K, Indulska J (2006) Developing context-aware pervasive computing applications: models and approach. Pervasive Mobile Comput 2(1): 37\u201364","journal-title":"Pervasive Mobile Comput"},{"key":"9218_CR19","doi-asserted-by":"crossref","unstructured":"Horan TA, Schooley BL (2007) Time-critical information services. Commun ACM 50(3)","DOI":"10.1145\/1226736.1226738"},{"key":"9218_CR20","unstructured":"INTERSAFE (2005) Requirements for intersection safety applications D40.4"},{"issue":"1","key":"9218_CR21","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/s11334-009-0075-6","volume":"5","author":"JB J\u00f8rgensen","year":"2009","unstructured":"J\u00f8rgensen JB, Tjell S, Fernandes JM (2009) Formal requirements modeling with executable use cases and coloured petri nets. Innovat Syst Softw Eng 5(1): 13\u201325","journal-title":"Innovat Syst Softw Eng"},{"issue":"4","key":"9218_CR22","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1016\/j.eswa.2004.06.008","volume":"27","author":"OB Kwon","year":"2004","unstructured":"Kwon OB (2004) Modeling and generating context-aware agent-based applications with amended colored petri nets. Exp Syst Appl 27(4): 609\u2013621","journal-title":"Exp Syst Appl"},{"key":"9218_CR23","unstructured":"Lee KM (2006) Colored timed petri nets-based context inference. J Res Inst Comput Inf Commun 14(2)"},{"issue":"2","key":"9218_CR24","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1109\/TSMCA.2003.811771","volume":"33","author":"JQ Li","year":"2003","unstructured":"Li JQ, Fan YS, Zhou MC (2003) Timing constraint workflow nets for workflow analysis. Syst Man Cybern A Syst Hum IEEE Trans 33(2): 179\u2013193","journal-title":"Syst Man Cybern A Syst Hum IEEE Trans"},{"issue":"4","key":"9218_CR25","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"2002","unstructured":"Murata T (2002) Petri nets: properties, analysis and applications. Proc IEEE 77(4): 541\u2013580","journal-title":"Proc IEEE"},{"issue":"4","key":"9218_CR26","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1109\/TSMCA.2008.918589","volume":"38","author":"A Padovitz","year":"2008","unstructured":"Padovitz A, Loke SW et\u00a0al (2008) Multiple-agent perspectives in reasoning about situations for context-aware pervasive computing systems. IEEE Trans Syst Man Cybern A 38(4): 729\u2013742","journal-title":"IEEE Trans Syst Man Cybern A"},{"key":"9218_CR27","unstructured":"Park AH, Park SH, Youn HY (2007) A Flexible and Scalable Agent Platform for Multi-Agent Systems. Proc WASET, pp 1\u20136"},{"issue":"2","key":"9218_CR28","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1008604709862","volume":"10","author":"M Reichert","year":"1998","unstructured":"Reichert M, Dadam P (1998) ADEPT flex-supporting dynamic changes of workflows without losing control. J Intell Inf Syst 10(2): 93\u2013129","journal-title":"J Intell Inf Syst"},{"issue":"5","key":"9218_CR29","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1111\/j.1468-0394.2007.00436.x","volume":"24","author":"P Reignier","year":"2007","unstructured":"Reignier P, Brdiczka O et\u00a0al (2007) Context-aware environments: from specification to implementation. Exp Syst 24(5): 305\u2013320","journal-title":"Exp Syst"},{"key":"9218_CR30","doi-asserted-by":"crossref","unstructured":"Riboni D, Bettini C (2009) Context-aware activity recognition through a combination of ontological and statistical reasoning. Ubiquitous Intell Comput, pp 39\u201353","DOI":"10.1007\/978-3-642-02830-4_5"},{"key":"9218_CR31","unstructured":"Rosemann M, Recker J, et\u00a0al (2010) Understanding context-awareness in business process design"},{"key":"9218_CR32","unstructured":"Saidani O, Nurcan S (2007) Towards context aware business process modeling. In: 8th Workshop on business process modeling, development, and support (BPMDS\u201907)"},{"key":"9218_CR33","unstructured":"Schmidt R (2005) Flexible support of inter-organizational business processes using web services. In: Proceedings of the CAiSE, vol 5, pp 51\u201358"},{"key":"9218_CR34","doi-asserted-by":"crossref","unstructured":"Sell C, Springer T (2009) Context-sensitive adaptation of workflows. In: Proceedings of the doctoral symposium for ESEC\/FSE on Doctoral symposium. ACM, New York, pp 1\u20134","DOI":"10.1145\/1595782.1595784"},{"key":"9218_CR35","doi-asserted-by":"crossref","unstructured":"Silva JL, Campos JC, Harrison MD (2009) An infrastructure for experience centered agile prototyping of ambient intelligence. In: EICS \u201809: Proceedings of the 1st ACM SIGCHI symposium on engineering interactive computing systems, pp 79\u201384","DOI":"10.1145\/1570433.1570450"},{"key":"9218_CR36","unstructured":"Song SK, Han SW, Youn HY (2008) A new agent platform architecture supporting the agent group paradigm for multi-agent systems. In: Intelligent agent technology, 2007. IAT\u201907. IEEE\/WIC\/ACM International conference on, IEEE, pp 399\u2013402"},{"key":"9218_CR37","unstructured":"Strang T, Linnhoff-Popien C (2004) A context modeling survey. In: Workshop on advanced context modelling, reasoning and management as part of UbiComp"},{"key":"9218_CR38","unstructured":"Sun J, Zhang Y, He K (2010) A petri-net based context representation in smart car environment. Advances in Grid and Pervasive Computing, Lecture Notes in Computer Science. Springer, Berlin, vol 6104, pp 162\u2013173"},{"key":"9218_CR39","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/j.aap.2009.07.019","volume":"42","author":"A Tang","year":"2010","unstructured":"Tang A, Yip A (2010) Collision avoidance timing analysis of dsrc-based vehicles. Accident Anal Prevent 42: 182\u2013195","journal-title":"Accident Anal Prevent"},{"issue":"4","key":"9218_CR40","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1080\/10798587.2010.10643104","volume":"16","author":"F Tang","year":"2010","unstructured":"Tang F, You I et\u00a0al (2010) Context-aware workflow management for intelligent navigation applications in pervasive environments. Intell Automat Soft Comput 16(4): 605\u2013619","journal-title":"Intell Automat Soft Comput"},{"issue":"1","key":"9218_CR41","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst WMP (1998) The application of Petri nets to workflow management. J Circuits Syst Comput 8(1): 21\u201366","journal-title":"J Circuits Syst Comput"},{"issue":"4","key":"9218_CR42","doi-asserted-by":"crossref","first-page":"802","DOI":"10.1109\/TSMCA.2008.923056","volume":"38","author":"H Wang","year":"2008","unstructured":"Wang H, Zeng Q (2008) Modeling and analysis for workflow constrained by resources and nondetermined time: an approach based on petri nets. IEEE Trans Syst Man Cybern A Syst Hum 38(4): 802\u2013817","journal-title":"IEEE Trans Syst Man Cybern A Syst Hum"},{"issue":"5","key":"9218_CR43","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1109\/3477.875448","volume":"30","author":"J Wang","year":"2002","unstructured":"Wang J, Deng Y, Xu G (2002) Reachability analysis of real-time systems using time Petri nets. Syst Man Cybern B Cybern IEEE Trans 30(5): 725\u2013736","journal-title":"Syst Man Cybern B Cybern IEEE Trans"},{"issue":"6","key":"9218_CR44","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1016\/j.ssci.2010.02.017","volume":"48","author":"M Zhong","year":"2010","unstructured":"Zhong M, Shi C et\u00a0al (2010) Study in performance analysis of China Urban emergency response system based on petri net. Saf Sci 48(6): 755\u2013762","journal-title":"Saf Sci"},{"issue":"4","key":"9218_CR45","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/0026-2714(91)90007-T","volume":"31","author":"WM Zuberek","year":"1991","unstructured":"Zuberek WM (1991) Timed petri nets: definitions, properties, and applications. Microelectron Reliab 31(4): 627\u2013644","journal-title":"Microelectron Reliab"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-011-9218-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10462-011-9218-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-011-9218-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T13:52:48Z","timestamp":1560174768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10462-011-9218-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,5]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,1]]}},"alternative-id":["9218"],"URL":"https:\/\/doi.org\/10.1007\/s10462-011-9218-x","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5,5]]}}}