文章詳目資料
資管評論
加入收藏
下載文章
| 篇名 | Compositional Transformation of Message Sequence Charts into High-level Petri Boxes |
|---|---|
| 卷期 | 11 |
| 作者 | Gurovic,Daniel 、 Fengler,W. |
| 頁次 | 75-95 |
| 關鍵字 | Petri nets 、 Compositional semantics 、 Specification 、 MSC |
| 出刊日期 | 200206 |
本卷期文章目次
- A Study on Managers' Perception of is Management Issues in China / Chen,Jim、Zhang,Jeff Yue、Xiang,Baohua
- State Equation and Stability for a Class of Continuous Petri Nets. Application to the Control of a Production System / Amer-Yahia,Cherif
- An Integrated Approach for Workflow Process Modeling and Analysis Using UML and Petri Nets / 楊鎮華、陳群奇
- 電子郵件系統建置過程之探討--個案研究 / 盧惠柔、蔡瑞明、吳盛