Logo of Humboldt-Universität zu BerlinLogo of Humboldt-Universität zu Berlin
edoc-Server
Open-Access-Publikationsserver der Humboldt-Universität
de|en
Header image: facade of Humboldt-Universität zu Berlin
View Item 
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
StatisticsView Usage Statistics
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
StatisticsView Usage Statistics
View Item 
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
1982-01-01Zeitschriftenartikel DOI: 10.18452/9417
On Fairness in Petri Nets
Burkhard, Hans-Dieter
Mathematisch-Naturwissenschaftliche Fakultät II
Introduction: Fairness is to be understood as performing actions in the order of their announcements. Related problems are studied in the Petri net model where actions correspond to the firings of transitions. An action in announced if a transition becomes firable, it is performed if this transition fires. Fairness in Petri nets means firing of transitions in the order of their anabling. Therefore, fairness is a property of firing sequences: some of them satisfy fairness conditions while others do not and have to be excluded. To ensure fairness the firings must be controlled by a queue regime giving temporary priorities to the transitions with longest waiting time. The queue policy can be performed by finite automata controlling the firings of the Petri net. While in other fairness considerations the performability of a waiting action is not influenced by other actions, the situation in Patri nets may be different: a firable transition may loose its concession by firings of other transitions, i. e. an announced action may be non-performable when it should be executed with respect to its waiting period. This leads to certain constraits for the net (to permit fair firings) or to modified fairness conditions. The problems like reachability, boundedness, liveness etc. are considered for nets firing under fairness conditions. They can be proved to be undecidable in the case of unbounded nets since we can simulate counter machines by Petri nets where the firings are constraited by fairness. Thus fairness gives the Petri nets more computational power and hence in general it is not possible to modify a Petri net in such a way that the possible firings are exactly the fair firings of the original net.
Files in this item
Thumbnail
213Fv1FdReZRs.pdf — Adobe PDF — 1.098 Mb
MD5: 22b33c3fa0ae971a08fd7f54d8834743
Cite
BibTeX
EndNote
RIS
InCopyright
Details
DINI-Zertifikat 2019OpenAIRE validatedORCID Consortium
Imprint Policy Contact Data Privacy Statement
A service of University Library and Computer and Media Service
© Humboldt-Universität zu Berlin
 
DOI
10.18452/9417
Permanent URL
https://doi.org/10.18452/9417
HTML
<a href="https://doi.org/10.18452/9417">https://doi.org/10.18452/9417</a>