・入出力チャンネルが複数あるようなモデル(同じリソースに対して同一チャンネル内でout側遷移が複数定義されているようなモデル)の修正(CustomerOffice.model)、作成(Game.model)。
・異常系があるようなモデル(上記に加え、非決定的なout側遷移を持つ、単一リソースが複数チャンネルのout側に接続することを許すようなモデル)の作成(Game.model)
1 parent 0c1835a commit 7ab54349a34a0ab7338bbb355848e717bc3e5c06
n-nittta authored on 12 Apr 2020
Showing 3 changed files
View
AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
View
AlgebraicDataflowArchitectureModel/models/Game.model 0 → 100644
View
AlgebraicDataflowArchitectureModel/models/Kinetics.model