Modelling a Railway Crossing with Message Sequence Charts and Petri Nets

DOI10.1007/978-3-540-40022-6_10zbMath1283.68249OpenAlexW1605163684MaRDI QIDQ5392162

Olaf Kluge

Publication date: 8 April 2011

Published in: Petri Net Technology for Communication-Based Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-40022-6_10

Mathematics Subject Classification ID

Traffic problems in operations research (90B20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Transformations in Reconfigurable Place/Transition Systems ⋮ Statechartable Petri nets ⋮ Scenario-Based Timing Consistency Checking for Time Petri Nets

This page was built for publication: Modelling a Railway Crossing with Message Sequence Charts and Petri Nets