A study on fairness of place/transition systems-to make fairness fairer-Reference-Cited by-同舟云学术

A study on fairness of place/transition systems-to make fairness fairer

Published:2009-09-07 Issue:1 Volume:33 Page:50-58
ISSN:0142-3312
Container-title:Transactions of the Institute of Measurement and Control
language:en
Short-container-title:Transactions of the Institute of Measurement and Control

Author:

Chongyi Yuan ¹,Yu Huang ²,Wen Zhao ³,Xinpeng Li ⁴

Affiliation:

1. School of Electronics Engineering and Computer Science, Peking University, Beijing, China, Key Laboratory of High Confidence Software Technologies of Ministry of Education, Peking University, Beijing, China

2. Key Laboratory of High Confidence Software Technologies of Ministry of Education, Peking University, Beijing, China, National Engineering Research Center for Software Engineering, Peking University, Beijing, China,

3. National Engineering Research Center for Software Engineering, Peking University, Beijing, China

4. School of Electronics Engineering and Computer Science, Peking University, Beijing, China

Abstract

Fairness is among the most well known properties of Petri net systems, but it has not been investigated in depth for the purpose of application. This paper aims at such an investigation, and as a result, alternative definitions based on synchronic distances are proposed with examples for illustration.

Publisher

SAGE Publications

Subject

Instrumentation

Link

http://journals.sagepub.com/doi/pdf/10.1177/0142331208095571

Reference8 articles.

1. Infinite behaviour and fairness in petri nets

2. Two Alternative Definitions of Synchronic Distance

3. Fairness and related properties in transition systems ? a temporal logic to deal with fairness

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Computation of Synchronic Distance in Marked S-net;Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013;2013