SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Theoretical Computer Science

Volumn 102, Issue 1, 1992, Pages 185-205

A polynomial-time algorithm to decide liveness of bounded free choice nets

(2) Esparza, Javier a Silva, Manuel b

a UNIVERSITY OF HILDESHEIM (Germany)

b UNIVERSITY OF ZARAGOZA (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001339967 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/0304-3975(92)90299-U Document Type: Article

Times cited : (53)

References (14)

1
- 0038029548
- Recherche des semi-flots, des verrous et des trappes dans les réseaux de Petri
- (1985) Technique et Science Informatiques , vol.4 , Issue.1 , pp. 103-112
- Alaiwan¹ Toudic²

2
- 85027608661
- Structure theory of Petri nets: The free choice hiatus
- W. Brauer, W. Reisig, G. Rozenberg, Lecture Notes in Computer Science, Springer, Berlin
- (1987) Petri Nets: Central Models and Their Properties , vol.254
- Best¹

3
- 0038483485
- Partial order behaviour and structure of Petri nets
- (1990) Formal Aspects of Computing , vol.2 , pp. 123-138
- Best¹ Desel²

4
- 0039707272
- Some classes of live and safe Petri Nets
- K. Voss, H. Genrich, G. Rozenberg, Springer, Berlin
- (1987) Concurrency and nets
- Best¹ Thiagarajan²

5
- 84918694945
- F. Commoner, Deadlocks in Petri nets, Report CA-7206-2311, Applied Data Inc. Wakefield (1972).

6
- 0022995176
- A polynomial Newton method for linear programming
- (1986) Algorithmica , vol.1 , pp. 425-453
- De Ghellinck¹ Vial²

7
- 84918671607
- Lebendigkeit in NSK-Petrinetzen
- Techn. Univ. München
- (1979) TUM-INFO-7906
- Griese¹

8
- 0003716854
- Analysis of production schemata by Petri nets
- MIT, Boston, corrected June 1974
- (1972) Technical Report TR-94
- Hack¹

9
- 85034857286
- Formal properties of place/transition-nets
- W. Brauer, Lecture Notes in Computer Science
- (1981) Net Theory and Applications , vol.84
- Jantzen¹ Valk²

10
- 0000359796
- Complexity of some problems in Petri nets
- (1977) Theoret. Comput. Sci. , vol.4 , pp. 277-299
- Jones¹ Landweber² Lien³

11
- 0003130675
- Linear algebraic calculation of deadlocks and traps
- K. Voss, H. Genrich, G. Rozenberg, Springer, Berlin
- (1987) Concurrency and Nets
- Lautenbach¹

12
- 4243242565
- Methode d'analyse de réseaux de Petri, réseaux à files, et application aux systèmes temps réel
- Univ. Pierre et Marie Curie
- (1983) Thèse de Doctorat d'Etat
- Memmi¹

13
- 84918688353
- Polynomial time algorithms for proving or disproving Commoner's structural property in Petri Nets
- Venice
- (1988) Proc. 9th Petri Net Workshop
- Minoux¹ Barkaoui²

14
- 84891424641
- Le controle des systèmes asynchrones: Concepts, propietés, analyse statique
- U.P.M.-I.N.P, Grenoble
- (1977) Thése Docteur des Sciences
- Sifakis¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.