コンテンツメニュー

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 大学院理工学研究科(工学)