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