{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:57:58Z","timestamp":1761487078016},"reference-count":26,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1992,6,1]],"date-time":"1992-06-01T00:00:00Z","timestamp":707356800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":7716,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[1992,6]]},"DOI":"10.1016\/0022-0000(92)90013-9","type":"journal-article","created":{"date-parts":[[2003,12,4]],"date-time":"2003-12-04T07:01:00Z","timestamp":1070521260000},"page":"447-477","source":"Crossref","is-referenced-by-count":14,"title":["B-fairness and structural B-fairness in Petri net models of concurrent systems"],"prefix":"10.1016","volume":"44","author":[{"given":"Manuel","family":"Silva","sequence":"first","affiliation":[]},{"given":"Tadao","family":"Murata","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0022-0000(92)90013-9_BIB1","series-title":"Petri Net Theory and the Modeling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/0022-0000(92)90013-9_BIB2","first-page":"540","article-title":"Petri nets: Properties, analysis and applications","volume":"77","author":"Murata","year":"1989"},{"key":"10.1016\/0022-0000(92)90013-9_BIB3","series-title":"Petri Nets in Automation and Computer Engineering","author":"Silva","year":"1985"},{"key":"10.1016\/0022-0000(92)90013-9_BIB4","series-title":"Net Theory and Applications","first-page":"125","article-title":"Elements of general net theory","volume":"Vol. 84","author":"Genrich","year":"1980"},{"key":"10.1016\/0022-0000(92)90013-9_BIB5","series-title":"Introduction to Petri Nets","author":"Reisig","year":"1985"},{"key":"10.1016\/0022-0000(92)90013-9_BIB6","series-title":"Proceedings, ICALP'81","first-page":"264","article-title":"Impartiality, justice and fairness: The ethics of concurrent termination","volume":"Vol. 115","author":"Pnueli","year":"1981"},{"key":"10.1016\/0022-0000(92)90013-9_BIB7","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0020-0190(84)90114-5","article-title":"Fairness and conspiracies","volume":"18","author":"Best","year":"1984","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/0022-0000(92)90013-9_BIB8","series-title":"Fairness","author":"Francez","year":"1986"},{"issue":"No. 2","key":"10.1016\/0022-0000(92)90013-9_BIB9","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0016-0032(85)90028-6","article-title":"Fair relation and modified synchronic distances","volume":"320","author":"Murata","year":"1985","journal-title":"Franklin Inst."},{"issue":"No. 1","key":"10.1016\/0022-0000(92)90013-9_BIB10","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1137\/0205007","article-title":"On algorithms for enumerating all circuits of a graph","volume":"5","author":"Mateti","year":"1976","journal-title":"SIAM J. Comput."},{"issue":"No. 1","key":"10.1016\/0022-0000(92)90013-9_BIB11","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1137\/0204007","article-title":"Finding all elementary circuits of a directed graph","volume":"4","author":"Johnson","year":"1975","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0022-0000(92)90013-9_BIB12","series-title":"Application and Theory of Petri Nets","first-page":"301","article-title":"A simple and fast algorithm to obtain all invariants of a generalized Petri net","author":"Mart\u00ednez","year":"1982"},{"key":"10.1016\/0022-0000(92)90013-9_BIB13","series-title":"XI Int. Conference on Theory and Applications of Petri Nets","article-title":"A minimal coverability graph for Petri nets","author":"Finkel","year":"1990"},{"key":"10.1016\/0022-0000(92)90013-9_BIB14","series-title":"Advances in Petri Nets 88","first-page":"386","article-title":"On the computation of structural synchronic invariants in P\/T nets","volume":"Vol. 340","author":"Silva","year":"1988"},{"issue":"No. 2","key":"10.1016\/0022-0000(92)90013-9_BIB15","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0019-9958(84)80052-2","article-title":"A fresh look at free choice nets","volume":"61","author":"Thiagarajan","year":"1984","journal-title":"Inform. and Control"},{"key":"10.1016\/0022-0000(92)90013-9_BIB16","series-title":"Optimization","first-page":"73","article-title":"Linear programming","author":"Goldfarb","year":"1989"},{"key":"10.1016\/0022-0000(92)90013-9_BIB17","series-title":"Optimisation combinatoire: M\u00e9thodes math\u00e9matiques","author":"Sakarovitch","year":"1984"},{"key":"10.1016\/0022-0000(92)90013-9_BIB18","series-title":"Advances in Petri Nets 1986","first-page":"359","article-title":"Transformation and decompositions of nets","volume":"Vol. 254","author":"Berthelot","year":"1987"},{"key":"10.1016\/0022-0000(92)90013-9_BIB19","series-title":"Proceedings 10th International Conf. on Applications and Theory of Petri Nets","first-page":"52","article-title":"Improving the linearly based characterization of P\/T nets","author":"Colom","year":"1989"},{"issue":"No. 4","key":"10.1016\/0022-0000(92)90013-9_BIB20","first-page":"57","article-title":"Sur le concept de macroplace et son utilisation pour l'analyse des r\u00e9seaux de Petri","volume":"15","author":"Silva","year":"1981","journal-title":"RAIRO-Automat. Prod. Inform. Ind."},{"key":"10.1016\/0022-0000(92)90013-9_BIB21","series-title":"31st Midwest Symp. on Circuits and Systems","article-title":"Interrelationships among various concepts of fairness for Petri nets","author":"Leu","year":"1988"},{"key":"10.1016\/0022-0000(92)90013-9_BIB22","series-title":"Concurrency and Nets","first-page":"435","article-title":"Towards a synchrony theory for P\/T nets","author":"Silva","year":"1987"},{"key":"10.1016\/0022-0000(92)90013-9_BIB23","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00290730","article-title":"Three measures for synchronic dependence in Petri nets","volume":"19","author":"Suzuki","year":"1983","journal-title":"Acta Inform."},{"key":"10.1016\/0022-0000(92)90013-9_BIB24","series-title":"Advances in Petri Nets 87","first-page":"45","article-title":"Recent results on the complexity of problems related to Petri nets","volume":"Vol. 266","author":"Howell","year":"1987"},{"key":"10.1016\/0022-0000(92)90013-9_BIB25","series-title":"Proceedings, First IEEE Conf. on Computers and Applications","first-page":"84","article-title":"Use of Petri nets for distributed control of fairness in concurrent systems","author":"Wu","year":"1984"},{"key":"10.1016\/0022-0000(92)90013-9_BIB26","series-title":"IEEE Workshop on Languages for Automation","first-page":"192","article-title":"A Petri net model of a starvation-free solution to the dining philosopher's problem","author":"Wu","year":"1983"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0022000092900139?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0022000092900139?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T08:57:09Z","timestamp":1550307429000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0022000092900139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,6]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,6]]}},"alternative-id":["0022000092900139"],"URL":"https:\/\/doi.org\/10.1016\/0022-0000(92)90013-9","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1992,6]]}}}