Analyzing paths in Time Petri Nets

• Autorzy: Popova-Zeugmann L. , Schlatter D.
• Języki publikacji: EN

Abstrakty

EN

In this paper, a parametric description of a transition sequence in a Time Petri net is introduced. The minimal and maximal time duration of a transition sequence are shown to be integers and furthermore the mni/max path passes only integer-states. A necessary condition for the reachability of an arbitrary state is given.

Słowa kluczowe

EN

Time Petri Net; integer state; reachability of a state; parametric description of a transition sequence

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 37, Nr 3
• Strony: 311--327
• Opis fizyczny: bibliogr. 10 poz.

Twórcy

autor

Popova-Zeugmann L.

autor

Schlatter D.

• Department of Computer Science Humboldt University D-10099 Berlin, Germany,