IEEE Parallel & Distributed Technology Systems & Applications · 1995 · 21 citations · 3 references
ComputingComputer ScienceSystems EngineeringDistributed SystemsFormal MethodsSafety EngineeringModel CheckingPetri NetsSafety Requirements EngineeringSafety SystemsSafety-critical SystemsSpecification LanguagesColored Petri NetsFormal Methods For SafetyFormal Safety VerificationFormal VerificationInterlock SystemsInterlocking SystemsPetri Net VerificationSafety Properties
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.
3
Petri nets: Properties, analysis and applications
T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations