For the most recent entries see the Petri Nets Newsletter.

Simulating and Analyzing Railway Interlockings in ExSpect.

Basten, T.; Bol, R.N.; Voorhoeve, M.

In: IEEE Parallel & Distributed Technology, Systems & Applications, pages 50-62. 1995.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography