SCOPUS 정보 검색 플랫폼

Volumn 51, Issue 1-2, 2002, Pages 235-250

Reachability in contextual nets

a INSTITUTE OF COMPUTER SCIENCE (Poland)

Author keywords

Branching process; Complete prefix; Configuration; Contextual net; Contextual occurrence net; Cut; History; Linear programming; Marking; Petri net with read arcs; State; Unfolding

Indexed keywords

FUNCTIONS; LINEAR PROGRAMMING; PETRI NETS; PROBLEM SOLVING; SET THEORY;

CONTEXTUAL NETS;

INFORMATION SCIENCE;

EID: 0036600657 PISSN: 01692968 EISSN: None Source Type: Journal
DOI: None Document Type: Article

Times cited : (10)

References (6)

1
- 84947922406
- An event structure semantics for P/T contextual nets: Asymmetric event structures
- BCM 98, The First International Conference on Foundations of Software Science and Computation Structures, Lisbon, 1998, Nivat., M. (Ed.), Springer LNCS
- (1988) Proc. of FoSSaCS'98 , vol.1378 , pp. 63-80
- Baldan, P.¹ Corradini, A.² Montanari, U.³

2
- 0026191448
- Branching processes of Petri nets
- Eng 91
- (1991) Acta Informatica , vol.28 , pp. 575-591
- Engelfriet, J.¹

3
- 85029482760
- Model checking using net unfoldings
- Espa 93, Springer LNCS
- (1993) Proc. of TAPSOFT'93 , vol.668 , pp. 613-628
- Esparza, J.¹

4
- 33847258494
- Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits
- McM 93, Montreal 1992, G. v. Bochmann and D. K. Probst (Eds.), Springer LNCS
- (1993) Proc. of the 4th Workshop on Computer Aided Verification , vol.663 , pp. 164-174
- McMillan, K.L.¹

5
- 21844489027
- Contextual nets
- MR 95
- (1995) Acta Informatica , vol.32 , pp. 545-596
- Montanari, U.¹ Rossi, E.²

6
- 84945928892
- Unfolding and finite prefix for nets with read arcs
- VSY 98, Nice, September 1998, Davide Sangiorgi and Robert de Simone (Eds.), Springer LNCS
- (1998) Proc. of CONCUR'98 , vol.1466 , pp. 501-516
- Vogler, W.¹ Semenov, A.² Yakovlev, A.³

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