Process Transition Networks: the Final Report
Auteur : Linköping University. Department of Computer and Information Science, Jacek Malec
Date de publication : 1992
Éditeur : Linköping University, Department of Computer and Information Science
Nombre de pages : 31
Résumé du livre
Abstract: "Process Transition Networks (PTNs), introduced by Sandewall [San90b], are a graphical language to describe complex qualitative processes; processes which are difficult to express quantitatively even with the help of causal dependencies. Road or air traffic monitoring, process control, or computer systems maintenance are some examples of possible application areas for PTNs. The language primitives are introduced informally, followed by a formal definition of syntax and semantics of the language.