State Space Methods for Timed Petri Nets

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  • Søren Christensen
  • Kurt Jensen
  • Thomas Mailund, BiRC - Bioinformatics Research Center, Århus, Denmark
  • Herbert Weber, Department of Computer Science, Technical University Berlin, Germany
  • Harmut Ehrig, Department of Computer Science, Technical University Berlin, Germany
  • Wolfgang Reisig, Department of Computer Science, Humboldt-University Berlin, Germany
  • Department of Computer Science
We present two recently developed state space methods for timed Petri nets. The two methods reconciles state space methods and time concepts based on the introduction of a global clock and associating time stamps to tokens. The first method is based on an equivalence relation on states which makes it possible to condense the usually infinite state space of a timed Petri net into a finite condensed state space without loosing analysis power. The second method supports on-the-fly verification of certain safety properties of timed systems. We discuss the application of the two methods in a number of different areas.

 

Original languageEnglish
Title of host publicationProc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems : DFG Research Group "Petri Net Technology"
Number of pages10
PublisherDFG-Forschergruppe Petri Net Technologie
Publication year2001
Pages33-42
Publication statusPublished - 2001
EventColloquium on Petri Net Technologies for Modeling Communication Based Systems - Berlin, Germany
Duration: 14 Sep 200115 Sep 2001
Conference number: 2

Conference

ConferenceColloquium on Petri Net Technologies for Modeling Communication Based Systems
Nummer2
LandGermany
ByBerlin
Periode14/09/200115/09/2001

See relations at Aarhus University Citationformats

ID: 281171