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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 55, Issue 1, 1987, Pages 87-136

Sequential and concurrent behaviour in Petri net theory

(2) Best, Eike a Devillers, Raymond b

a Institut für Methodische Grundlagen Gesellschaft für Mathematik und Datenverarbeirung 5205 St Augustin Fed Rep Germany ^*

b UNIVERSITÉ LIBRE DE BRUXELLES (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

AXIOMATIC PROCESS SEMANTICS; CONCURRENT PROCESSES; INDUCTIVE SEMANTICS; OCCURRENCE SEQUENCE PROCESSES; PETRI NET THEORY; STEP PROCESSES;

COMPUTER METATHEORY;

EID: 0023452605 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/0304-3975(87)90090-9 Document Type: Article

Times cited : (203)

References (30)

1
- 0020990685
- Relational semantics of concurrent programs (with some applications)
- D. Bjørner, North-Holland, Amsterdam
- (1983) Formal Description of Programming Concepts II , pp. 431-452
- Best¹

2
- 84914553483
- Concurrent behaviour: sequences, processes and axioms
- Lecture Notes in Computer Science, Springer, Berlin
- (1985) Proc. CMU Workshop on Concurrency , vol.197 , pp. 221-245
- Best¹

3
- 84911641882
- Concurrent behaviour: sequences, processes and programming languages
- Gesellschaft für Mathematik und Datenverarbritung, St. Augustin
- (1985) GMD-Studien No. 99
- Best¹ Devillers²

4
- 0038186911
- Interleaving and partial orders in concurrency: a formal comparison
- M. Wirsing, North-Holland, Amsterdam
- (1987) Proc. IFIP TC2 Working Conf. on Formal Description of Programming Concepts III , pp. 299-323
- Best¹ Devillers²

5
- 3643098461
- Notations and terminology on Petri net theory
- Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin
- (1986) Arbeitspapiere der GMD No. 195
- Best¹ Fernández²

6
- 0019684078
- A formal model of atomicity in asynchronous systems
- (1981) Acta Inform. , vol.16 , pp. 93-124
- Best¹ Randell²

7
- 2942616579
- Net Theory and Applications
- Springer, Berlin
- (1980) Lecture Notes in Computer Science , vol.84
- Breuer¹

8
- 84913354787
- BETA-processes of C/E-systems
- G. Rozenberg, Proc. 6th Workshop on Petri Nets, Helsinki 1985, Lecture Notes in Computer Science, Springer, Berlin
- (1985) Advances in Petri Nets 1985 , vol.222 , pp. 83-100
- Castellano¹

9
- 84913392260
- The semantics of capacities in P/T-nets: a first look
- (1985) Proc. 6th Workshop on Petri Nets Helsinki
- Devillers¹

10
- 84913392259
- The expressive power of various enabling rules for P/T-nets
- ULB Bruxelles
- (1985) Tech. Rept. LIT 161
- Devillers¹

11
- 84913354892
- A note on observable occurence nets
- G. Rozenberg, Lecture Notes in Computer Science, Springer, Berlin
- (1985) Advances in Petri Nets 1984 , vol.188 , pp. 122-138
- Fernández¹ Nielsen² Thiagarajan³

12
- 84948345356
- Elements of general net theory
- Springer, Berlin
- (1980) Lecture Notes in Computer Science , pp. 21-163
- Genrich¹ Lautenbach² Thiagarajan³

13
- 84919171501
- A dictionary of some basic notions of net theory
- Springer, Berlin
- (1980) Lecture Notes in Computer Science , pp. 519-535
- Genrich¹ Stankiewicz-Wiechno²

14
- 0012673690
- On the relationship of CCS and Petri nets
- Springer, Berlin
- (1984) Lecture Notes in Computer Science , vol.172 , pp. 196-208
- Goltz¹ Mycroft²

15
- 0020746487
- the non-sequential behaviour of Petri nets
- (1983) Inform. and Control , vol.57 , pp. 125-147
- Goltz¹ Reisig²

16
- 85034261970
- Full abstraction for a simple programming language
- Springer, Berlin
- (1979) Lecture Notes in Computer Science , vol.74 , pp. 108-120
- Hannessy¹ Plotkin²

17
- 84913392258
- Final report on the project on information systems theory
- (1968) Applied Data Research ADR6606
- Holt¹

18
- 0020910824
- What good is temporal logic?
- North-Holland, Amsterdam
- (1983) Information Processing 1983 , pp. 657-667
- Lamport¹

19
- 84976719403
- Synchronization of concurrent processes without globality assumptions
- (1981) ACM SIGPLAN Notices , vol.16 , Issue.9 , pp. 66-80
- Lauer¹

20
- 84913392257
- Formal theory of the basic COSY notation
- Computing Laboratory, University of Newcastle, upon Tyne
- (1979) Tech. Rept. TR143
- Lauer¹ Shields² Best³

21
- 0003862813
- Concurrent program schemes and their interpretation
- Computer Science Department, Aarhus University
- (1977) Rept. DAIMI-PB-78
- Mazurkiewicz¹

22
- 0003276135
- A Calculus of Communicating Systems
- Springer, Berlin
- (1980) Springer Lecture Notes in Computer Science , vol.92
- Milner¹

23
- 0004584203
- Non-sequential processes
- (1977) GMD-ISF Rept. 77.05
- Petri¹

24
- 84941492970
- Concurrency theory
- W. Brauer, W. Reisig, G. Rozenberg, Lecture Notes in Computer Science, Springer, Berlin, Advances in Petri nets 1986, Part I. Proc. of an advanced course, Bad Honnef 1986
- (1987) Petri Nets: Central Models and their Properties , vol.254 , pp. 4-24
- Petri¹

25
- 0021002561
- An operational semantics for CSP
- D. Bj∅rner, North-Holland, Amsterdam
- (1983) Formal Description of Programming Concepts II , pp. 199-233
- Plotkin¹

26
- 0004232902
- Springer, Berlin
- (1985) Petri Nets
- Reisig¹

27
- 0003354698
- Partial order semantics versus interleaving semantics of CSP-like languagesand its impact on fairness
- Springer, Berlin
- (1984) Lecture Notes in Computer Science , vol.172 , pp. 403-413
- Reisig¹

28
- 0037849208
- On the semantics of Petri nets
- E.J. Neuhold, G. Chroust, IFIP/North-Holland, Amsterdam
- (1985) Formal Models in Programming , pp. 347-372
- Reisig¹

29
- 0018780055
- Adequate path expressions
- Springer, Berlin
- (1979) Lecture Notes in Computer Science , vol.70 , pp. 249-265
- Shields¹

30
- 85034211340
- Event structure semantics for CCS and related languages
- Lecture Notes in Computer Science, Springer, Berlin
- (1982) Proc. ICALP '82 , vol.140 , pp. 561-576
- Winskel¹

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