Scenario-Based Timing Consistency Checking for Time Petri Nets

DOI10.1007/11888116_28MaRDI QIDQ3613085zbMATH OpenOpenAlexFDO

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

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

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Timing constraint Petri nets and their schedulability analysis and verification
• Timing constraint Petri nets and their schedulability analysis and verification
• scientific article; zbMATH DE number 1439078
• Model checking time-constrained scenario-based specifications
• Verification of reachability properties for time Petri nets
• Timed scenarios: consistency, equivalence and optimization
• TCTL model checking of time Petri nets
• Applications and Theory of Petri Nets 2004
• Verification of Timed-Arc Petri Nets

Cites work

• A theory of timed automata
• scientific article; zbMATH DE number 1445908 (Why is no real title available?)
• Modelling a railway crossing with message sequence charts and Petri nets
• Software reliability methods. Foreword by Edmund M. Clarke
• Uppaal in a nutshell

Cited in

(7)

• An algorithm for checking the time consistency of message sequence charts
• Checking conformance for time-constrained scenario-based specifications
• Model checking time-constrained scenario-based specifications
• Matching Scenarios with Timing Constraints
• A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios
• Scenario-based consistency verification of component-based real-time system designs
• Timed scenarios: consistency, equivalence and optimization

Describes a project that uses

Uses Software

• Uppaal

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

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