| 基于Petri网的电梯系统规格说明 |
| |
| 引用本文： | 邵丽丽.基于Petri网的电梯系统规格说明[J].长春大学学报,2011(6):19-21. |
| |
| 作者姓名： | 邵丽丽 |
| |
| 作者单位： | 菏泽学院计算机与信息工程系; |
| |
| 摘 要： | 为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。
|
| 关 键 词： | PETRI网 形式化技术 电梯系统 |
Specification of elevators system based on Petri net |
| |
| SHAO Li-li.Specification of elevators system based on Petri net[J].Journal of Changchun University,2011(6):19-21. |
| |
| Authors: | SHAO Li-li |
| |
| Institution: | SHAO Li-li(Computer and Information Engineering Department,Heze University,Heze 274015,China) |
| |
| Abstract: | In order to avoid the ambiguity of system specification described by non-formal technology,this paper introduces a formal technology,Petri net,to describe the specification of elevator system.Petri net technology is a mathematical representation of the discrete parallel system,which is suitable to describe concurrent computer system models and can describe elevator system correctly. |
| |
| Keywords: | Petri net formal technology elevator system |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
