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 |
Fingerprint
Dive into the research topics of 'Simulating and analyzing railway interlockings in ExSpect'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver