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

메뉴 건너뛰기

Journal of Computer and System Sciences

Volumn 27, Issue 1, 1983, Pages 51-76

A method for stepwise refinement and abstraction of Petri nets

(2) Suzuki, Ichiro a Murata, Tadao b

a OSAKA UNIVERSITY (Japan)

b UNIVERSITY OF ILLINOIS AT CHICAGO (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

EID: 0020795351 PISSN: 00220000 EISSN: 10902724 Source Type: Journal
DOI: 10.1016/0022-0000(83)90029-6 Document Type: Article

Times cited : (223)

References (14)

1
- 0018699409
- Putting Petri nets to work
- (1979) Computer , vol.12 , Issue.12 , pp. 85-94
- Agerwala¹

2
- 0017792289
- A synthesis rule for concurrent systems
- Las Vegas
- (1978) Proc. of 15th Design Automation Conf. , pp. 305-311
- Agerwala¹ Choed-Amphai²

3
- 10944263652
- Net Theory and Applications
- 2nd ed., Springer-Verlag, Berlin/Heidelberg/New York
- (1980) Lecture Notes in Computer Science No. 84
- Brauer¹ Randell² Petri³

4
- 0003641892
- MIT Lab. for Computer Science, TR-161
- (1976) Decidability Questions for Petri Nets
- Hack¹

5
- 84916081930
- Additional transformations of live and safe marked graphs
- (1979) Procs. of the 17th Allerton Conf. on Comm., Control and Computing , pp. 387-396
- Johnsonbaugh¹ Kao² Murata³

6
- 0019241606
- Analysis of resource requirements in marked graph computation models
- (1980) Procs. of the 1980 IEEE International Symposium on Circuits and Systems , pp. 342-345
- Johnsonbaugh¹ Murata²

7
- 85051533358
- Decidability of reachability in vector addition systems
- (1982) Proc. of the 14th Annual ACM Symp. on Theory of Computing , pp. 267-281
- Kosaraju¹

8
- 0013318504
- An algorithm for the general Petri net reachability problem
- (1981) Procs. of the 13th Annual ACM Symp. on Theory of Computing , pp. 238-246
- Mayr¹

9
- 4243188883
- Relevance of network theory to models of distributed/parallel processing
- (1980) J. Franklin Inst. , vol.310 , Issue.1 , pp. 41-50
- Murata¹

10
- 0019080503
- Synthesis of decision-free concurrent systems for prescribed resources and performance
- (1980) IEEE Transactions on Software Engineering , vol.6 SE , Issue.6 , pp. 525-530
- Murata¹

11
- 0018919106
- Reduction and expansion of live and safe marked graphs
- (1980) IEEE Trans. Circuits and Systems , vol.27 CAS , Issue.1 , pp. 68-70
- Murata¹ Koh²

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

13
- 0019339450
- Marked graph transformations by stepwise transition refinements
- (1980) Proc. of the 18th Allerton Conf. on Comm., Control and Computing , pp. 497-506
- Suzuki¹ Murata²

14
- 0002367242
- Analysis of Petri nets by stepwise refinements
- (1979) J. Comput. System Sci. , vol.18 , pp. 35-46
- Valette¹

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