|
 
|
[LL 12] Erratum to “Liveness of an Extended S3PR [Automatica 46 (2010) 1008-1018]
Revue Internationale avec comité de lecture : Journal Automatica, vol. 48(5), pp. 1003-1004, 2012Mots clés: circular wait, circular blocking
Résumé:
In Liu, Li, and Zhou (2010), the definition of a circular wait (Definition 16 in Liu et al. (2010)) is directly adopted from Lewis,
Gürel, Bogdan, Doˇganalp, and Pastravanu (1998). However, it is not appropriate that the concept defined in ordinary Petri nets is simplistically used in the context of generalized ones without any extension.
Equipe:
sys
BibTeX
| @article { | |||
| LL 12, | |||
| title | = | "{Erratum to “Liveness of an Extended S3PR [Automatica 46 (2010) 1008-1018]}", | |
| author | = | "D. Liu and Z. Li and M. Zhou", | |
| journal | = | "Automatica", | |
| year | = | 2012, | |
| volume | = | 48, | |
| number | = | 5, | |
| pages | = | "1003-1004", | |
| } | |||
