Art
J-GLOBAL ID：201702231094805180   Reference number：17A2001056

Reversible computation vs. reversibility in Petri nets

Petriネットにおける可逆性と可逆的計算【Powered by NICT】
Author (4)：
Barylska Kamila

About Barylska Kamila

(Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Chopina 12/18, 87-100 Torun, Poland)

About Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Chopina 12/18, 87-100 Torun, Poland

, 
Koutny Maciej

About Koutny Maciej

(School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom)

About School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom

, 
Mikulski Lukasz

About Mikulski Lukasz

(Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Chopina 12/18, 87-100 Torun, Poland)

About Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Chopina 12/18, 87-100 Torun, Poland

, 
Piatkowski Marcin

About Piatkowski Marcin

(Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Chopina 12/18, 87-100 Torun, Poland)

About Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Chopina 12/18, 87-100 Torun, Poland


Material：
Science of Computer Programming  (Sci Comput Program)

About Science of Computer Programming


Volume： 151  Page： 48-60  Publication year： 2018 
JST Material Number： H0806A  ISSN： 0167-6423  CODEN： SCPGD4  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary 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 nets are a general forma...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A2001056&from=J-GLOBAL&jstjournalNo=H0806A") }}
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.
marking

About marking

, 
*Petri net

About Petri net

, 
modeling

About modeling

, 
shock (mechanics)

About shock (mechanics)

, 
*reversibility

About reversibility


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.
初期状態

About 初期状態

, 
行動特性

About 行動特性

, 【Automatic Indexing@JST】
Author keywords (4)：
Petri net

About Petri net

, 
Reversibility

About Reversibility

, 
Reversible computation

About Reversible computation

, 
Decidability

About Decidability

JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

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

About Petriネット

, 
可逆性

About 可逆性

, 
可逆的計算

About 可逆的計算


Return to Previous Page

TOP

BOTTOM