Art
J-GLOBAL ID：200902137335580777   Reference number：95A0809279

Complexity results for 1-safe nets.

1-安全ネットに対する計算量の結果
Author (3)：
CHENG A

About CHENG A

(Aarhus Univ., Aarhus, DNK)

About Aarhus Univ., Aarhus, DNK

, 
ESPARZA J

About ESPARZA J

(Technische Univ. Muenchen, Muenchen, DEU)

About Technische Univ. Muenchen, Muenchen, DEU

, 
PALSBERG J

About PALSBERG J

(Aarhus Univ., Aarhus, DNK)

About Aarhus Univ., Aarhus, DNK


Material：
Theoretical Computer Science  (Theoretical Computer Science Part B. Logic, Semantics and Theory of Programming)

About Theoretical Computer Science


Volume： 147  Issue： 1/2  Page： 117-136  Publication year： Aug. 07, 1995 
JST Material Number： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
Petri net

About Petri net

,...
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
computational complexity

About computational complexity

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=95A0809279&from=J-GLOBAL&jstjournalNo=T0022A") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

,  Digital computer systems in general 
(JC02010O)

About Digital computer systems in general

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
ネット

About ネット

, 
計算量

About 計算量


Return to Previous Page

TOP

BOTTOM