Skip to main content
SpringerLink
Log in

A temporal logic-based model of event-driven nets

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

In this paper, a formal model of Event-Driven Nets (EDNs) is presented. Real-time temporal logic is used for representing both the behavior and structure of a modelled net. The structure of the net is defined using a set of executable predicates formed over state and pulse temporal variables. Considering this formal model, we outline an implementation of an interpretation technique for the EDN structural description. Finally, the modelling power of EDNs is demonstrated by the behavioral and performance simulation of a simple distributed computer system.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Cassandras, C.G. and Strikland, S.G. (1989). Sample Path Properties of Timed Discrete Event Systems. Proc. of the IEEE, 77, 1:59–77.

    Google Scholar 

  • Cingel, V. (1990). Process of digital systems simulation formalized in temporal logic. In XII Kolloquium on Simulation of Systems, Ostrava, Czechoslovakia, pp. 25–35, (in Slovak).

  • Cingel, V. (1989). Use of the Pascal language as a means for digital systems description and their simulation. Automatizace, No. 8, pp. 213–216, (in Slovak).

  • Derezinska, A. and Miescicki, J. (1991). Application of Event-Driven Nets to the modelling of local CSMA-CD protocol. Research Report, Warsaw University of Technology, 20 pp.

  • Chiu, P.P.K. and Cheung, Y.S. (1989). Logic Simulation with Interval-Labelled Net Model. In 3rd Int. Workshop on Petri Nets and Performance Models, Kyoto, pp. 132–141.

  • Damm, W. and Dohmen, G. (1988). Specifying distributed computer architectures in AADL. Parallel Computing, 9:193–211.

    Google Scholar 

  • Hrycej, T. (1988). Qualitative Reasoning with Temporal Prolog. Technical Report No. TEX-B-42, BST PCS GmbH, Munich, 15 pp.

    Google Scholar 

  • Kröger, F. (1987). Temporal Logic of Programs. Berlin: Springer-Verlag.

    Google Scholar 

  • Miescicki, J. (1985). An Event Driven Net Model of a Multiprocessor System. In Intern. Workshop on Timed Petri Nets, Torino, Italy, pp. 126–134.

  • Miescicki, J., Derezinska, A. and Szeffer, J. (1990). Application of Event Driven Nets to the Modelling of Distributed System. In Conf. on Distributed Computer Systems, Paris, 29 pp.

  • Moszkowski, B. (1985). Executing Temporal Logic Programs. Technical Report No. 71, University of Cambridge, Cambridge, England, 96 pp.

    Google Scholar 

  • Murai, S., Matsushita, H. and Enomoto, K. (1986). Logic Simulation Programs. In Advances in CAD for VLSI. Amsterdam: North Holland, Vol. 2, pp. 135–163.

    Google Scholar 

  • Murthy Siva Ram, C. and Rajaraman, C.-V. (1990). Analytical and Simulation Studies of a Multiprocessor System for High-Speed Numerical Computations. Mathematics and Computers in Simulation 32:393–401.

    Google Scholar 

  • Narayana, K.T. and Aaby, A.A. (1988). Specification of Real-Time Systems in Real-Time Temporal Interval Logic. In 9th Real-Time Systems Symp., pp. 86–95.

  • Ostroff, J.S. (1990). A Logic for Real-Time Discrete Event Processes. IEEE Control Systems Magazine, June, pp. 95–102.

  • Passino, K.M. and Antsaklis, P.J. (1988). Branching Time Temporal Logic for Discrete Event System Analysis. In 26th Annual Allerton Conf. on Communication, Control and Computing, Urbana-Champaign, 10 pp.

  • Peterson, J.L. (1981). Petri Net Theory and the Modelling of Systems, Englewood Cliffs: Prentice Hall.

    Google Scholar 

  • Pnueli, A. and Harel, E. (1988). Application of Temporal Logic to the Specification of Real-Time Systems. In Formal Techniques in Real-Time and Fault Tolerant Systems, Lecture Notes in Computer Science, Vol. 331, Berlin: Springer-Verlag, pp. 84–98.

    Google Scholar 

  • Rutten, E. and Marcé, L. (1989). Plans Simulation Using Temporal Logics. Research Report No. 1095, IRISA/INRIA Rennes, France, 35 pp.

    Google Scholar 

  • Tang, C.S. (1988). A Temporal Logic Language for Behavior Modelling of Information and Expert Systems. In Proc. 2nd IFIP 2.6. Work. Conf. on Database Semantics, Amsterdam, pp. 365–379.

  • Zuberek, W.M. (1980). Timed Petri Nets and Preliminary Performance Evaluation. In Proc. 7th Symp. Comput. Architecture, La Blank, France, pp. 88–96.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Slovak Technical University, Ilkovicova 3, 812 19, Bratislava, Czechoslovakia

    Viktor Cingel & Norbert Frištacký

Authors
  1. Viktor Cingel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Norbert Frištacký
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cingel, V., Frištacký, N. A temporal logic-based model of event-driven nets. The Journal of Real-Time Systems 3, 407–428 (1991). https://doi.org/10.1007/BF00366000

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00366000

Keywords

Search

Navigation