Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

25 Citations (Scopus)

Abstract

Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded platforms where reliability and safety depend to a large extent on the time features. Many of the time dependant models were suggested as real-time extensions of several well-known untimed models. The most studied formalisms include Networks of Timed Automata which extend the model of communicating finite-state machines with a finite number of real-valued clocks, and timed extensions of Petri nets where the added time constructs include e.g. time intervals that are assigned to the transitions (Time Petri Nets) or to the arcs (Timed-Arc Petri Nets). In this paper, we shall semi-formally introduce these models, discuss their strengths and weaknesses, and provide an overview of the known results about the relationships among the models.
Original languageEnglish
Title of host publicationFormal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
PublisherSpringer
Publication date2008
Pages15-32
ISBN (Print)978-3-540-85777-8
DOIs
Publication statusPublished - 2008
EventInternational Conference, FORMATS 2008 - Saint Malo, France
Duration: 15 Sep 200817 Sep 2008
Conference number: 6

Conference

ConferenceInternational Conference, FORMATS 2008
Number6
CountryFrance
CitySaint Malo
Period15/09/200817/09/2008
SeriesLecture Notes in Computer Science
Number5215
ISSN0302-9743

    Fingerprint

Keywords

  • Petri nets
  • time-dependant models
  • comparison

Cite this

Srba, J. (2008). Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. In Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings (pp. 15-32). Springer. Lecture Notes in Computer Science, No. 5215 https://doi.org/10.1007/978-3-540-85778-5_3