Reduction operators based on behavioral inheritance for timed Petri nets

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume E97-A Issue 2 Page 484-489

published_at 2014

Title

Creators Toyoshima Ichiro

Creators Nakano Shota

Creators Yamaguchi Shingo

Creator Keywords

timed Petri net timed branching bisimulation behavioral inheritnce

Languages eng

Resource Type journal article

Publishers 電子情報通信学会

Date Issued 2014

File Version Not Applicable (or Unknown)

Access Rights metadata only access

Relations

[ISSN]0916-8508

[NCID]AA10826239

info:doi/10.1587/transfun.E97.A.484

[isVersionOf] [URI]https://www.jstage.jst.go.jp/browse/transfun/-char/ja/

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