SCOPUS 정보 검색 플랫폼

Theoretical Computer Science

Volumn 410, Issue 24-25, 2009, Pages 2442-2452

On minimal elements of upward-closed sets

(2) Yen, Hsu Chun a,b Chen, Chien Liang a

a NATIONAL TAIWAN UNIVERSITY (Taiwan)

b KAINAN UNIVERSITY (Taiwan)

Author keywords

Minimal element; Petri net; Upward closed set; Vector addition system

Indexed keywords

AUTOMATED VERIFICATIONS; COMPLEXITY BOUNDS; FINITE NUMBERS; FINITE SETS; INTEGER VECTORS; MINIMAL ELEMENT; REACHABILITY ANALYSIS; SUFFICIENT CONDITIONS; THEORY OF PETRI NETS; UPWARD-CLOSED SET; VECTOR ADDITION SYSTEM;

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTABILITY AND DECIDABILITY; PETRI NETS; SET THEORY;

GRAPH THEORY;

EID: 67349266313 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/j.tcs.2009.02.036 Document Type: Article

Times cited : (9)

References (11)

1
- 0028413052
- A theory of timed automata
- Alur R., and Dill D. A theory of timed automata. Theoret. Comput. Sci. 126 (1994) 183-235
- (1994) Theoret. Comput. Sci. , vol.126 , pp. 183-235
- Alur, R.¹ Dill, D.²

2
- 0027308411
- Parametric real-time reasoning
- R. Alur, T. Henzinger, M. Vardi, Parametric real-time reasoning, in: Proc. 25th ACM STOC, 1993, pp. 592-601
- (1993) Proc. 25th ACM STOC , pp. 592-601
- Alur, R.¹ Henzinger, T.² Vardi, M.³

3
- 84966254050
- Bounds on positive integral solutions to linear diophantine equations
- Borosh I., and Treybis L. Bounds on positive integral solutions to linear diophantine equations. Proc. Amer. Math. Soc. 55 (1976) 299-304
- (1976) Proc. Amer. Math. Soc. , vol.55 , pp. 299-304
- Borosh, I.¹ Treybis, L.²

4
- 84957104846
- Model checking lossy vector addition systems
- STACS'99, Trier, Germany
- Bouajjani A., and Mayr R. Model checking lossy vector addition systems. STACS'99, Trier, Germany. LNCS vol. 1563 (1999) 323-333
- (1999) LNCS , vol.1563 , pp. 323-333
- Bouajjani, A.¹ Mayr, R.²

5
- 0027541860
- Normal and sinkless Petri nets
- Howell R., Rosier L., and Yen H. Normal and sinkless Petri nets. J. Comput. System Sci. 46 (1993) 1-26
- (1993) J. Comput. System Sci. , vol.46 , pp. 1-26
- Howell, R.¹ Rosier, L.² Yen, H.³

6
- 0000660737
- The covering and boundedness problems for vector addition systems
- Rackoff C. The covering and boundedness problems for vector addition systems. Theoret. Comput. Sci. 6 (1978) 223-231
- (1978) Theoret. Comput. Sci. , vol.6 , pp. 223-231
- Rackoff, C.¹

7
- 0022662959
- A multiparameter analysis of the boundedness problem for vector addition systems
- Rosier L., and Yen H. A multiparameter analysis of the boundedness problem for vector addition systems. J. Comput. System Sci. 32 (1986) 105-135
- (1986) J. Comput. System Sci. , vol.32 , pp. 105-135
- Rosier, L.¹ Yen, H.²

8
- 0021896980
- The residue of vector sets with applications to decidability in Petri nets
- Valk R., and Jantzen M. The residue of vector sets with applications to decidability in Petri nets. Acta Inform. 21 (1985) 643-674
- (1985) Acta Inform. , vol.21 , pp. 643-674
- Valk, R.¹ Jantzen, M.²

9
- 35248862186
- Timing parameter characterization of real-time systems
- Proc. CIAA 2003
- Wang F., and Yen H. Timing parameter characterization of real-time systems. Proc. CIAA 2003. LNCS vol. 2759 (2003) 23-34
- (2003) LNCS , vol.2759 , pp. 23-34
- Wang, F.¹ Yen, H.²

10
- 0021440618
- Normal Petri nets
- Yamasaki H. Normal Petri nets. Theoret. Comput. Sci. 31 (1984) 307-315
- (1984) Theoret. Comput. Sci. , vol.31 , pp. 307-315
- Yamasaki, H.¹

11
- 0033412805
- Integer linear programming and the analysis of some Petri net problems
- Yen H. Integer linear programming and the analysis of some Petri net problems. Theory Comput. Syst. 32 4 (1999) 467-485
- (1999) Theory Comput. Syst. , vol.32 , Issue.4 , pp. 467-485
- Yen, H.¹

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