Yamaguchi Shingo

Affiliate Master Yamaguchi University

An efficient translation method from timed petri nets to timed automata

IEICE transactions on fundamentals of electronics, communications and computer sciences Volume E95-A Issue 8 Page 1402-1411

published_at 2012-08

Title

An efficient translation method from timed petri nets to timed automata

Creators Nakano Shota

Creators Yamaguchi Shingo

Creator Keywords

timed Petri nets timed automata the amount of description model checking signaling pathway

Languages eng

Resource Type journal article

Publishers Institute of Electronics, Information and Communication Engineers

Date Issued 2012-08

File Version Not Applicable (or Unknown)

Access Rights metadata only access

Relations

[ISSN]0916-8508

[NCID]AA10826239

[NCID]AA11510296

info:doi/10.1587/transfun.E95.A.1402

Schools 大学院理工学研究科（工学）