Scenario-Based Timing Consistency Checking for Time Petri Nets

DOI10.1007/11888116_28zbMath1225.68048OpenAlexW1578042779MaRDI QIDQ3613085

Hu Jun, Li Xuandong, Zheng Guoliang, Bu Lei, Zhang Tao, Zhao Jianhua

Publication date: 11 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11888116_28

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) Distributed systems (68M14)

Uses Software

• Uppaal

Cites Work

• Unnamed Item
• A theory of timed automata
• Uppaal in a nutshell
• Modelling a Railway Crossing with Message Sequence Charts and Petri Nets
• Software reliability methods. Foreword by Edmund M. Clarke

This page was built for publication: Scenario-Based Timing Consistency Checking for Time Petri Nets