Skip to main content
SpringerLink
Log in

Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows

  • Conference paper
  • First Online:
Book cover Formal Methods and Software Engineering (ICFEM 2002)

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

Included in the following conference series:

Abstract

This paper focuses on mitigating efficiently the problem of state explosion in Petri net models. A new modeling and analyzing method, logical Petri net workflows (LPNW), of the real-time systems with batch data process procedures is presented based on Petri net and workflow techniques. The use of LPNWs is illustrated by a useful example of a batch stock trading system. The properties and functional correctness of the modeled system are analyzed and verified formally on the basis of temporal logic. It has been sufficiently shown that this approach can avoid the problem of state explosion to a certain extent. Finally, further research work is proposed.

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. van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 1 (1998) 21–66

    Google Scholar 

  2. Adam, N.R., Atluri, V., Huang, W.K.: Modeling and analysis of workflow using Petri nets. Journal of Intelligent Information Systems 2 (1998) 131–158

    Article  Google Scholar 

  3. Du, Y.Y., Jiang, C.J.: Formal analysis of an online stock trading system by temporal Petri nets. In: Williams, A.D. (ed.): Int. Conference on Computer Networks and Mobile Computing, IEEE Computer Society Press, Beijing, China (2001) 197–202

    Chapter  Google Scholar 

  4. Murata, T.: Petri nets: properties, analysis and applications. Proceedings of the IEEE 4 (1989) 541–580

    Article  Google Scholar 

  5. Wang, J.C., Deng, Y., Xu, G.: Reachability analysis of real-time systems using time Petri nets. IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics 5 (2000) 725–736

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science & Engineering, Tongji University, Shanghai, 200092, P.R.China

    Yuyue Du & Changjun Jiang

  2. Department of Computer Science, Liaocheng University, Liaocheng, 252059, P.R.China

    Yuyue Du

  3. Lab. of Computer Science, ISCAS, Beijing, 100080, P.R.China

    Yuyue Du

Authors
  1. Yuyue Du
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Changjun Jiang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. International Institute for Software Technology, United Nations University, Casa Silva Mendes, Est. do Engenheiro Trigo No. 4, P.O. Box 3058, Macao

    Chris George

  2. School of Computer Engineering and Science, Shanghai University, 149 Yanchang Road, Shanghai, 200072, P.R. China

    Huaikou Miao

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Du, Y., Jiang, C. (2002). Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows. In: George, C., Miao, H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36103-0_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-36103-0_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00029-7

  • Online ISBN: 978-3-540-36103-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation