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
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
Schools
大学院理工学研究科（工学）