Wojciech Penczek,
Agata Pólrola
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Gebonden Engels 2006 2006e druk 9783540328698
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.
Specificaties
ISBN13:9783540328698
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:257
Uitgever:Springer Berlin Heidelberg
Druk:2006
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Specifying Timed Systems and Their Properties.- Petri Nets with Time.- Timed Automata.- From Time Petri Nets to Timed Automata.- Main Formalisms for Expressing Temporal Properties.- Model Generation and Verification.- Abstract Models.- Explicit Verification.- Verification Based on Satisfiability Checking.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan