Modelling a railway crossing with message sequence charts and Petri nets

DOI10.1007/978-3-540-40022-6_10MaRDI QIDQ5392162zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1515849
• scientific article; zbMATH DE number 1307655
• scientific article; zbMATH DE number 5201493
• The theory of message sequence charts
• A semantic and methodological essence of message sequence charts

Cited in

(4)

• Design of traffic safety control systems for railroads and roadways using timed Petri nets
• Transformations in Reconfigurable Place/Transition Systems
• Scenario-Based Timing Consistency Checking for Time Petri Nets
• Statechartable Petri nets

This page was built for publication: Modelling a railway crossing with message sequence charts and Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5392162)