Roxana Melinte

Petri nets, vector addition systems, and parallel and communicating grammar systems are three basic theories for modeling and analysing parallel and distributed systems.

The aim of this paper is to give an overview on a basic technique of analysis which can be used for all three theories mentioned above.

This technique is based on the reduction of an infinite structure to a finite one, called coverability structure. By means of this technique, many decision problems can be discussed in an uniform way.

Full Document (PS)

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},
    url = 	{https://publications.info.uaic.ro/technical-reports/archive/tr02-05-2002-coverability-structure-based-analysis/}
}