Skip to main content
SpringerLink
Log in

Petri net-based context modeling for context-aware systems

  • Published:
Artificial Intelligence Review Aims and scope Submit manuscript

Abstract

The context-aware services require to efficiently perceive not only the user requirements but also the context of the environment to provide customized services to the user. To efficiently develop the context-aware applications a systematic methodology correctly specifying the relation among dynamically changing contexts is essential. Here the context model simplifying the manipulation of complex contexts is a key accessor for the specification and analysis of the service. Among various modeling approaches such as timed automata (Tang and You in Intell Automat Soft Comput 16(4):605–619, 2010), workflow (Rosemann et al. in Understanding context-awareness in business process design, 2010), Petri net (PN) (Jørgensen et al. in Innovat Syst Softw Eng 5(1):13–25, 2009), etc. developed for context-aware system, the PN-based approach has been recognized as one of the most effective one. In this paper we identify the issues of how the contexts are modeled and what kinds of the requirements needs to be considered in the context processing. We then discuss various Petri net (PN)-based modeling methodologies concerning the five important features for context processing: relationships and dependencies, time constraint, resource constraint, usability of modeling formalisms, and context identification. The study reveals that the approach effectively allowing both the time and resource constraints in the model while supporting other important properties needs to be developed further for accurately assess the context-aware systems. Also, the expandability and scalability issue need to be investigated.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Aarts E, Marzano S (2003) The new everything. 010 publishers, Rotterdam

    Google Scholar 

  • 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–296

    Article  Google Scholar 

  • Baek KW, Lyu CH, et al (2009) Modeling the contexts without distracting the perspectives of the agents in distributed reasoning. In: Cyber-enabled distributed computing and knowledge discovery, 2009. CyberC’09. International conference on, IEEE, pp 207–213

  • Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time petri nets. IEEE Trans Softw Eng 17(3): 259–273

    Article  MathSciNet  Google Scholar 

  • Bettini C, Brdiczka ea O (2010) A survey of context modeling and reasoning techniques. Pervasive Mobile Comput 6: 161–180

    Article  Google Scholar 

  • 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–718

    Article  Google Scholar 

  • Boucheneb H (2008) Interval timed coloured petri net: efficient construction of its state class space preserving linear properties. Formal Aspects Comput 20(2): 225–238

    Article  MATH  Google Scholar 

  • Bucci G, Vicario E (2002) Compositional validation of time-critical systems using communicating time Petri nets. Softw Eng IEEE Trans 21(12): 969–992

    Article  Google Scholar 

  • 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–927

  • Dey A (2001) Understanding and using context. Personal Ubiquitous Comput 5(1): 4–7

    Article  Google Scholar 

  • 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–654

    Article  Google Scholar 

  • Florin G, Fraize C, Natkin S (1991) Stochastic petri nets: properties, applications and tools. Microelectron Reliab 31(4): 669–697

    Article  Google Scholar 

  • Ha S, Suh HW (2008) A timed colored Petri nets modeling for dynamic workflow in product development process. Comput Ind 59(2–3): 193–209

    Article  Google Scholar 

  • 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–889

  • 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

  • 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’08. IEEE/WIC/ACM international conference on, IEEE, vol 2, pp 71–74

  • 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

    Google Scholar 

  • Henricksen K, Indulska J (2006) Developing context-aware pervasive computing applications: models and approach. Pervasive Mobile Comput 2(1): 37–64

    Article  Google Scholar 

  • Horan TA, Schooley BL (2007) Time-critical information services. Commun ACM 50(3)

  • INTERSAFE (2005) Requirements for intersection safety applications D40.4

  • Jørgensen JB, Tjell S, Fernandes JM (2009) Formal requirements modeling with executable use cases and coloured petri nets. Innovat Syst Softw Eng 5(1): 13–25

    Article  Google Scholar 

  • Kwon OB (2004) Modeling and generating context-aware agent-based applications with amended colored petri nets. Exp Syst Appl 27(4): 609–621

    Article  Google Scholar 

  • Lee KM (2006) Colored timed petri nets-based context inference. J Res Inst Comput Inf Commun 14(2)

  • 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–193

    Article  Google Scholar 

  • Murata T (2002) Petri nets: properties, analysis and applications. Proc IEEE 77(4): 541–580

    Article  MathSciNet  Google Scholar 

  • Padovitz A, Loke SW et al (2008) Multiple-agent perspectives in reasoning about situations for context-aware pervasive computing systems. IEEE Trans Syst Man Cybern A 38(4): 729–742

    Article  Google Scholar 

  • Park AH, Park SH, Youn HY (2007) A Flexible and Scalable Agent Platform for Multi-Agent Systems. Proc WASET, pp 1–6

  • Reichert M, Dadam P (1998) ADEPT flex-supporting dynamic changes of workflows without losing control. J Intell Inf Syst 10(2): 93–129

    Article  Google Scholar 

  • Reignier P, Brdiczka O et al (2007) Context-aware environments: from specification to implementation. Exp Syst 24(5): 305–320

    Article  Google Scholar 

  • Riboni D, Bettini C (2009) Context-aware activity recognition through a combination of ontological and statistical reasoning. Ubiquitous Intell Comput, pp 39–53

  • Rosemann M, Recker J, et al (2010) Understanding context-awareness in business process design

  • Saidani O, Nurcan S (2007) Towards context aware business process modeling. In: 8th Workshop on business process modeling, development, and support (BPMDS’07)

  • Schmidt R (2005) Flexible support of inter-organizational business processes using web services. In: Proceedings of the CAiSE, vol 5, pp 51–58

  • 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–4

  • Silva JL, Campos JC, Harrison MD (2009) An infrastructure for experience centered agile prototyping of ambient intelligence. In: EICS ‘09: Proceedings of the 1st ACM SIGCHI symposium on engineering interactive computing systems, pp 79–84

  • 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’07. IEEE/WIC/ACM International conference on, IEEE, pp 399–402

  • Strang T, Linnhoff-Popien C (2004) A context modeling survey. In: Workshop on advanced context modelling, reasoning and management as part of UbiComp

  • 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–173

  • Tang A, Yip A (2010) Collision avoidance timing analysis of dsrc-based vehicles. Accident Anal Prevent 42: 182–195

    Article  Google Scholar 

  • Tang F, You I et al (2010) Context-aware workflow management for intelligent navigation applications in pervasive environments. Intell Automat Soft Comput 16(4): 605–619

    Google Scholar 

  • van der Aalst WMP (1998) The application of Petri nets to workflow management. J Circuits Syst Comput 8(1): 21–66

    Article  Google Scholar 

  • 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–817

    Article  MATH  Google Scholar 

  • 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–736

    Article  Google Scholar 

  • Zhong M, Shi C et al (2010) Study in performance analysis of China Urban emergency response system based on petri net. Saf Sci 48(6): 755–762

    Article  MathSciNet  Google Scholar 

  • Zuberek WM (1991) Timed petri nets: definitions, properties, and applications. Microelectron Reliab 31(4): 627–644

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information and Communication Engineering, Sungkyunkwan University, Suwon, 440-746, Republic of Korea

    Seungwok Han & Hee Yong Youn

Authors
  1. Seungwok Han
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hee Yong Youn
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hee Yong Youn.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Han, S., Youn, H.Y. Petri net-based context modeling for context-aware systems. Artif Intell Rev 37, 43–67 (2012). https://doi.org/10.1007/s10462-011-9218-x

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10462-011-9218-x

Keywords

Search

Navigation