Modeling and Analysis of Time-Critical Context-Aware Service Using Extended Interval Timed Colored Petri Nets

Seungwok Han, Hee Yong Youn. Modeling and Analysis of Time-Critical Context-Aware Service Using Extended Interval Timed Colored Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 42(3):630-640, 2012. [doi]

@article{HanY12-4,
  title = {Modeling and Analysis of Time-Critical Context-Aware Service Using Extended Interval Timed Colored Petri Nets},
  author = {Seungwok Han and Hee Yong Youn},
  year = {2012},
  doi = {10.1109/TSMCA.2011.2170064},
  url = {http://dx.doi.org/10.1109/TSMCA.2011.2170064},
  researchr = {https://researchr.org/publication/HanY12-4},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part A},
  volume = {42},
  number = {3},
  pages = {630-640},
}