Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Using (Timed) Petri Nets for Veri cation Parametrized (Timed) Systems
 

Summary: Using (Timed) Petri Nets for Veri cation
of
Parametrized (Timed) Systems
Parosh Aziz Abdulla
Uppsala University

Outline
 Introduction
 Parametrized Systems
 Parametrized Finite-State Processes
{ Petri Nets
{ Symbolic Reachability Analysis
{ Well Quasi-Orderings
 Parametrized Timed Processes
{ Timed Petri Nets
{ Symbolic Reachability Analysis {
Existential Zones
{ Better Quasi-Orderings

Program Veri cation

  

Source: Abdulla, Parosh Aziz - Department of Information Technology, Uppsala Universitet

 

Collections: Computer Technologies and Information Sciences