SIMULATING AND ANALYZING RAILWAY INTERLOCKINGS IN EXSPECT

被引：11

作者：

BASTEN, T ^{[1
]}

BOL, R ^{[1
]}

VOORHOEVE, M ^{[1
]}

机构：

[1] UPPSALA UNIV,UPPSALA,SWEDEN

来源：

IEEE PARALLEL & DISTRIBUTED TECHNOLOGY | 1995年 / 3卷 / 03期

关键词：

D O I：

10.1109/M-PDT.1995.414843

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This study evaluates the ability of ExSpect, a toolkit for simulating and analyzing complex distributed systems using colored Petri nets, to analyze ISL specifications for railway interlockings.

引用

页码：50 / 62

页数：13