TR02-05 (2002) – Coverability Structure Based Analysis

Roxana Melinte

Petri nets, vector addition systems,and parallel and communicating grammar systems are three basic theories formodeling and analysing parallel and distributed systems. The aim of this paper is to give an overviewon a basic technique of analysis which can beused for all three theories mentioned above.This technique is based on the reduction ofan infinite structure to a finite one, calledcoverability structure.By means of this technique, many decisionproblems can be discussed in an uniform way.

Bibtex

@TechReport{csba,
  author = 	 {Roxana Melinte},
  title = 	 {Coverability Structure Based Analysis},
  institution =  {University ``A.I.Cuza'' of Iac{s}i, Faculty of
Computer Science},
  year = 	 {2002},
  number = 	 {TR 02-05},
  note = 	 {URL:http://www.infoiasi.ro/~tr/tr.pl.cgi}
}