Skip to main content
SpringerLink
Log in

A Petri Net Model for Session Services

  • Conference paper
  • First Online:
Book cover Engineering and Deployment of Cooperative Information Systems (EDCIS 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2480))

  • 472 Accesses

Abstract

In this paper, the authors propose a new type of EPr/TN net system called SYNEPr/TN (SYNchro-Extended Predicate/Transition Net), which serves as an FDT (formal description technique) of high-layer protocols in protocol engineering. Given the formal definition of SYNEPr/TN net system and its transition rules, the authors analyse the properties of this net system and solve the problems of redundant concurrent successors appeared in EPr/TN net system. Modeling and analysis of the high-layer protocols in the context of SYNEPr/TN net system are discussed in details.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Gu, G. and Luo, J.: EPr/TN net system and formal description techniques of protocols. Chinese Journal of Computer, Beijing, Vol. 17 (supplement), (1994) 93–96

    Google Scholar 

  2. Luo, J., Gu, G, and Xie, J.: Protocol analyser using Petri nets. Chinese Journal of Computer, Beijing, Vol. 20, No. 3, (1997) 206–212

    Google Scholar 

  3. Gu, J. and Gong, J.: Computer Networks. Jiangsu Science and Technology Publishing House, Nanjing, (1989)

    Google Scholar 

  4. Diaz, M.: Modeling and analysis of communication and cooperation protocols using Petri net based models. Computer Networks, North-Holland Publishing Company, Amsterdam (1982) 419–441

    Google Scholar 

  5. Diaz, M., Petri net based models in the specification and verification of protocols. In: Brauer, W. (eds): Petri Nets: Application and Relationships to Other Models of Concurrency, Springer-Verlag, Berlin, (1988) 135–170

    Google Scholar 

  6. Shen, J., Luo, J., and Gu, G: Redundant concurrent successor markings in the reachability analysis of EPr/TN net. Computer Research and Development, Beijing, Vol. 35, No. 3, (1998) 251–254

    Google Scholar 

  7. Leveson, N. G. and Stolzy, J. L.: Safety analysis using Petri nets. IEEE Transactions on Software Engineering, Vol. 13, No. 3, (1987) 386–397

    Article  Google Scholar 

  8. Andre, C: Delays in synchronized elementary net systems. In: Rozenberg, G. (eds): Advances in Petri Nets, Barlin: Springer-Verlag, (1991) 1–28

    Chapter  Google Scholar 

  9. Ramchandani, C: Analysis of asynchronous concurrent systems by timed Petri nets. M.I.T., Cambridge, MA, TR-120, (1974)

    Google Scholar 

  10. Coolahan, J. E. and Roussopoulos N.: Timing requirements for time-driven system using augmented Petri nets. IEEE Transactions on Software Engineering, Vol. 9, No. 5, (1983) 603–616

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Center for Internet Computing and E-Commerce School of Information Technology, Swinburne University of Technology, Victoria, 3122, Australia

    Jun Shen & Yun Yang

  2. Deptartment of Computer, Southeast University Key Laboratory of Computer Networks and Information Integration, Ministry of Education, Nanjing, 210096, China

    Junzhou Luo

Authors
  1. Jun Shen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yun Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Junzhou Luo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computing Technique, P.O. Box 2704, 100080, Beijing, China

    Yanbo Han

  2. IBM T.J. Watson Research Center, P.O. Box 704, 10598, NY, Yorktown Heights, USA

    Stefan Tai

  3. FH Brandenburg, University of Applied Sciences, Magdeburger Str. 50, 14770, Brandenburg an der Havel, Germany

    Dietmar Wikarski

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Shen, J., Yang, Y., Luo, J. (2002). A Petri Net Model for Session Services. In: Han, Y., Tai, S., Wikarski, D. (eds) Engineering and Deployment of Cooperative Information Systems. EDCIS 2002. Lecture Notes in Computer Science, vol 2480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45785-2_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-45785-2_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44222-6

  • Online ISBN: 978-3-540-45785-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation