Timed net with choice probability and its minimum cycle time-The case of location-based service

Expert Systems with Applications

Volumn 31, Issue 2, 2006, Pages 221-230

  Yim, Jaegeol ^a   Joo, Jae Hun ^a   Lee, Young Chan ^a  

^a Dongguk University   (South Korea)

Author keywords

Location based service; Minimum cycle time; Performance analysis; Petri net; System analysis; Timed net

Indexed keywords

MATHEMATICAL TECHNIQUES; PERFORMANCE; PETRI NETS; PROBABILITY; REAL TIME SYSTEMS; SYSTEMS ANALYSIS;

LOCATION-BASED SERVICE; MINIMUM CYCLE TIME; PERFORMANCE ANALYSIS; TIMED NET;

COMPUTER SYSTEM FIREWALLS;

EID: 33646128480     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2005.09.018     Document Type: Article

References (10)

1. Dasdan A., and Gupta R.K. Faster maximum and minimum mean cycle algorithms for system performance analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 17 10 (1998) 889-899
2. Desel J., Reisig W., and Rozenberg G. Lectures on concurrency and petri nets. Advances in petri nets. Lecture notes in computer science (2004) (pp. 3098)
3. Hillion H.P. Timed petri nets and application to multi-stage production systems. Lecture notes in computer science (1989) (pp. 424)
4. Hillion, H.P. (1990). Advances in petri nets. Sprinter (pp. 281-305) Berlin, Germany.
5. Krishnamurthy, N. (2002). Using SMS to deliver location-based services. Proceedings of 2002 IEEE international conference of personal wireless communications (pp. 177-181).
6. Murata T. Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77 4 (1989) 541-580
7. Nakamura, M., & Silva, M. (1999). Cycle time computation in deterministically timed weighted marked graphs. Proceedings of seventh IEEE international conference on emerging technologies and factory automation (pp. 1037-1046).
8. Peterson J.L. Petri net theory and the modeling of systems (1981), Prentice-Hall, Englewood Cliffs, NJ
9. Reisig W. In: Brauer W., Rozenberg G., and Salomaa A. (Eds). Petri nets, an introduction, EATCS, Monographs on theoretical computer science (1985), Springer, Berlin, Germany
10. Rodriguez-Beltran, J., & Ramfrez-Trevino, A. (2000). Minimum initial marking in timed marked graphs. Proceedings of IEEE international conference on systems, man, and cybernetics (pp. 3004-3008).