Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 50-62 |
| Journal | IEEE Parallel and Distributed Technology : Systems and Applications |
| Volume | 3 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 1995 |