Executing Petri Net Based System Model
Implementation in a low-level language exposes problems with the system modeling, but involves considerable development and debugging effort, particularly if the modeling problems are discovered late in the implementation and lead to significant changes being made. Implementation in a high-level language with well-defined and safe semantics could be a good solution to this issue. In this paper, Petri nets have been used to model systems. By defining rules to map Petri net to Haskell, a functional language, we get a high level implementation of the system. After executing Haskell program, we can check in the early design phase the problems that will be found in the late implementation phase. Gas station problem has been employed to illustrate our method.
petri nets Haskell modelling
Na Zhang Mingyue Jiang Zuohua Ding
Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou, 310018 China
国际会议
太原
英文
485-489
2010-10-22（万方平台首次上网日期，不代表论文的发表时间）