Skip to main content
SpringerLink
Log in

Modeling of, and Reasoning with Recurrent Events with Imprecise Durations

  • Conference paper
  • First Online:
Intelligent Problem Solving. Methodologies and Approaches (IEA/AIE 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1821))

  • 5502 Accesses

Abstract

In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties of the recurrent processes being modeled by an extended Petri net. Such temporal properties include time-stamps stored in tokens and durations of firing the transitions. We apply our method to model the recurrent behavior of an automated manufacturing cell.

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. J. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26:832–843, 1983.

    Article  MATH  Google Scholar 

  2. I. Bestuzheva, V. Rudnev. Timed Petri Nets: Classification and Comparative Analysis. Automation and Remote Control, 51(10):1308–1318, Consultants Bureau, New York, 1990.

    Google Scholar 

  3. C. Brown, D. Gurr. Temporal Logic and Categories of Petri Nets. In A. Lingass, R. Karlsson, editors, Automata, Languages and Programming, pp. 570–581, Springer-Verlag, New York, 1993.

    Google Scholar 

  4. J. Cardoso, H. Camargo, editors. Fuzziness in Petri Nets, Physica Verlag, New York, NY, 1999.

    MATH  Google Scholar 

  5. J. Cardoso, R. Valette, D. Dubois. Fuzzy Petri Nets: An Overview. In G. Rosenberg, editor, Proceedings of the 13th IFAC World Congress, pp. 443–448, San Francisco CA, 30 June–5 July 1996.

    Google Scholar 

  6. J. Cardoso, R. Valette, D. Dubois. Possibilistic Petri nets. IEEE transactions on Systems, Man and Cybernetics, part B: Cybernetics, October 1999, Vol. 29, N 5, p. 573–582

    Article  Google Scholar 

  7. J. Carlier, P. Chretienne. Timed Petri Net Schedules. In G. Rozenberg, editor, Advances in Petri Nets, pp. 642–666, Springer-Verlag, New York, 1988.

    Google Scholar 

  8. J. Coolahan. N. Roussopoulos. Timing Requirements for Time-driven Systems Using Augmented Petri Nnets. IEEE Transactions on Software Engineering, 9(5):603–616, 1983.

    Article  Google Scholar 

  9. R. Dechter, I. Meiri, J. Pearl. Temporal Constraint Networks. Artificial Intelligence, 49:61–95, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  10. M. Diaz, P. Senac. Time Stream Petri Nets: a Model for Timed Multimedia Information. In R. Valette, editor, Application and Theory of Petri Nets-94, pp. 219–238, Springer-Verlag, New York, 1994.

    Google Scholar 

  11. D. Dubois, H. Prade. Possibility Theory. Plenum Press, New York, 1988.

    MATH  Google Scholar 

  12. D. Dubois, H. Prade. Processing Fuzzy Temporal Knowledge. IEEE Transactions on Systems, Man and Cybernetics, 19(4), July/August 1989.

    Google Scholar 

  13. D. Dubois, J. Lang, H. Prade. Timed Possibilistic Logic. Fundamenta Informaticae. 15(3,4):211–234, 1991.

    MathSciNet  MATH  Google Scholar 

  14. D. Dubois, H. Prade. Processing Fuzzy Temporal Knowledge. IEEE Transactions on Systems, Man and Cybernetics, 19(4):729–744, 1989.

    Article  MathSciNet  Google Scholar 

  15. M. Felder, A. Morzenti. A Temporal Logic Approach to Implementation and Refinement of Timed Petri Nets. In D. Gabbay, editor, Proceedings of 1 st international conference on Temporal Logic ICTL-94, Bonn, Germany, July 11–14, pp. 365–381, Springer-Verlag, New York, 1994.

    Google Scholar 

  16. P. Fortemps. Jobshop Scheduling with Imprecise Durations: A Fuzzy Approach. IEEE Transactions on Fuzzy Systems, 5(4):557–569, 1997.

    Article  Google Scholar 

  17. L. Godo, L. Vila. Possibilistic Temporal Reasoning Based on Fuzzy Temporal Constraints. In C. Mellish, editor, Proceedings of IJCAI-95, pp. 1916–1922, Montreal, Canada, 20–25 August, Morgan Kaufmann, San Francisco, CA, 1995.

    Google Scholar 

  18. H. Hanisch. Analysis of Place/Transition Nets with Timed Arcs and Its Application to Batch Process Control. In M. Marsan, editor, Application and Theory of Petri Nets-93, pp. 282–299, Springer-Verlag, 1993.

    Google Scholar 

  19. E. Kindler, T. Vesper. ESTL: A Temporal Logic for Events and States. In J. Desel, M. Silva, editors, Application and Theory of Petri Nets-98, pp. 365–384, Springer-Verlag, New York, 1998.

    Chapter  Google Scholar 

  20. S. Kurkovsky. Possibilistic Temporal Propagation. Ph.D. dissertation. University of Southwestern Louisiana, 1999.

    Google Scholar 

  21. P. Ladkin. Time Representation: A Taxonomy of Interval Relations. Proceedings of fifth national conference on Artificial Intelligence, pp. 360–366. American Association for Artificial Intelligence, 1996.

    Google Scholar 

  22. R. Loganantharaj, S Giambrone. Probabilistic Approach for Representing and Reasoning with Repetitive Events. In J. Stewman, editor, Proceedings of FLAIRS-95, pp. 26–30, Melbourne, FL, 27–29 April 1995.

    Google Scholar 

  23. R. Loganantharaj, S. Giambrone. Representation of, and Reasoning with, Near-Periodic Recurrent Events. In F. Anger, H. Guesgen, J. van Benthem, editors, Proceedings of IJCAI-95 Workshop on Spatial and Temporal Reasoning, pp. 51–56, Montreal, Canada, 20–25 August 1995, Morgan Kaufmann, San Mateo, CA, 1995.

    Google Scholar 

  24. P. Merlin, D. Farber. Recoverability of Communication Protocols. IEEE Transactions on Communications, 24(9):541–580, 1989.

    MathSciNet  Google Scholar 

  25. J. Peterson. Petri Net Theory and The Modeling of Systems. Prentice Hall, 1981.

    Google Scholar 

  26. C. Ramamoorthy, G. Ho, Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets. IEEE Transactions on software Engineering, 6(5):440–449, 1980.

    Article  MathSciNet  Google Scholar 

  27. M. Tanabe. Timed Petri Nets and Temporal Linear Logic. In P. Azema, G. Balbo, editors, Application and Theory of Petri Nets-97, pp. 156–174, Springer-Verlag, New York, 1997.

    Google Scholar 

  28. M. Woo, N. Qazi, A. Ghafoor. A Synchronization Framework for Communication of Preorchestrated Multimedia Information. IEEE Networks, 8(1)52–61, 1994.

    Article  Google Scholar 

  29. Y. Yao. A Petri Net Model for Temporal Knowledge Representation and Reasoning. IEEE Transactions on Systems, Man, and Cybernetics, 24(9):1374–1382, 1994.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Columbus State University, Columbus

    Stanislav Kurkovsky

  2. Automated Reasoning Laboratory, Center for Advanced Computer Studies, University of Louisiana at Lafayette, Lafayette

    Rasiah Loganantharaj

Authors
  1. Stanislav Kurkovsky
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rasiah Loganantharaj
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The Center for Advanced Computer Studies, University of Lousiana, 2 Rex Street, Lafayette, LA, 70504-4330, USA

    Rasiah Logananthara

  2. Department of Neural Information Processing, University of Ulm, Oberer Eselsberg, 89069, Ulm, Germany

    Günther Palm

  3. Department of Computer Science, Southwest Texas State University, 601 University Drive, San Marcos, TX, 78666-4616, USA

    Moonis Ali

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kurkovsky, S., Loganantharaj, R. (2000). Modeling of, and Reasoning with Recurrent Events with Imprecise Durations. In: Logananthara, R., Palm, G., Ali, M. (eds) Intelligent Problem Solving. Methodologies and Approaches. IEA/AIE 2000. Lecture Notes in Computer Science(), vol 1821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45049-1_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-45049-1_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67689-8

  • Online ISBN: 978-3-540-45049-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation