SCOPUS 정보 검색 플랫폼

Volumn 14, Issue 3, 1981, Pages 317-336

Coloured petri nets and the invariant-method

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000098171 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/0304-3975(81)90049-9 Document Type: Article

Times cited : (361)

References (9)

1
- 0018780030
- The analysis of distributed systems by means of predicate/transition-nets
- G. Kahn, Lecture Notes in Computer Science, Springer, Berlin
- (1979) Semantics of Concurrent Computation , vol.70 , pp. 123-146
- Genrich¹ Lautenbach²

2
- 84961374378
- A method to compare the descriptive power of different types of Petri nets
- P. Dembiński, Lecture Notes in Computer Science, Springer, Berlin
- (1980) Mathematical Foundations of Computer Science 1980 , vol.88 , pp. 348-361
- Jensen¹

3
- 84915629616
- Liveness in Petri nets
- GMD Bonn
- (1979) Interner Bericht ISF-75-02.1
- Lautenbach¹

4
- 0017538857
- Petri nets
- (1977) Comput. Surveys , vol.9 , Issue.3 , pp. 223-252
- Peterson¹

5
- 0040020180
- Concepts of net theory
- Math. Inst. Slovak Academy of Science, High Tatras 1973
- (1973) Summer School on Mathematical Foundations of Computer Science , pp. 137-146
- Petri¹

6
- 84911245766
- Interpretations of net theory
- GMD Bonn
- (1975) Interner Bericht ISF-75-07
- Petri¹

7
- 85034450379
- Analyzing program solutions of coordination problems by CP-nets
- J. Winkowski, Lecture Notes in Computer Science, Springer, Berlin
- (1978) Mathematical Foundations of Computer Science 1978 , vol.64 , pp. 462-473
- Schiffers¹ Wedde²

8
- 0000678601
- System modelling with high-level Petri nets
- (1981) Theoret. Comput. Sci. , vol.13 , pp. 109-136
- Genrich¹ Lautenbach²

9
- 84909878875
- How to find invariants for coloured Petri nets
- Aarhus University
- (1980) DAIMI PB-120
- Jensen¹

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