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

메뉴 건너뛰기

Journal of Computer and System Sciences

Volumn 18, Issue 1, 1979, Pages 35-46

Analysis of petri nets by stepwise refinements

(1) Valette, R a

a CNRS (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002367242 PISSN: 00220000 EISSN: 10902724 Source Type: Journal
DOI: 10.1016/0022-0000(79)90050-3 Document Type: Article

Times cited : (186)

References (13)

1
- 0015081042
- A theory of asynchronous control networks
- (1971) IEEE Transactions on Computers , vol.100-120 , pp. 629-638
- Bruno¹ Altman²

2
- 0000549481
- Marked directed graphs
- (1971) J. Comput. System Sci. , vol.5 , pp. 511-523
- Commoner¹ Holt² Even³ Pnueli⁴

3
- 0003716854
- Analysis of Production Schemata by Petri Nets
- M.T.T
- (1972) Master of Science Thesis
- Hack¹

4
- 0003641892
- Decidability Questions for Petri Nets
- M.T.T
- (1975) Ph.D. Thesis
- Hack¹

5
- 0003977768
- Petri Net Languages
- M.I.T., Laboratory for Computer Science
- (1976) TR 159
- Hack¹

6
- 0016972709
- Formal verification of parallel programs
- (1976) Comm. ACM , vol.19 , pp. 371-384
- Keller¹

7
- 0016331673
- Analysis of structured programs
- (1974) J. Comput. System Sci. , vol.9 , pp. 232-255
- Kosaraju¹

8
- 84910417568
- The description and realization of digital systems
- (1973) RAIRO , pp. 55-69
- Patil¹ Dennis²

9
- 0016986643
- Computation sequence sets
- (1976) J. Comput. System Sci. , vol.13 , pp. 1-24
- Peterson¹

10
- 84898438262
- Interpretation of net theory
- (1975) International Symposium on Mathematical Foundations of Computer Sciences at Marianske Lazne
- Petri¹

11
- 0003576234
- Analysis of asynchronous systems by Petri nets
- M.I.T
- (1973) Ph.D. Thesis
- Ramchandanc¹

12
- 84915569485
- A model for parallel control systems and communication systems
- The Johns Hopkins University
- (1976) Conference on Information Sciences and Systems
- Valette¹ Prajoux²

13
- 84915569484
- Sur la description, l'analyse et la validation des systèmes de commande parallèles
- Université Paul Sabatier de Toulouse
- (1976) Ths̀e de Doctorat d'Ètat
- Valette¹

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