Contents Menu

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
Reduction operators based on behavioral inheritance for timed Petri nets
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 大学院理工学研究科(工学)