Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems. The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties,...
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in siz...
Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der Fachbereich Informatik hat sich als Veranstalter fOr das Leitthema "Vernetzte und kom plexe Informatik-Systeme" entschieden. Aufgrund der rapide fortschreitenden Technologie und dadurch erschlossener neuer Anwendungsbereiche werden komplexe Systeme in tech nischer oder gesellschaftlicher Umgebung zunehmend durch informatikspezifische Gesichts punkte bestimmt. Dies rechtfertigt den Begriff "Informatik-System" als Zusammenfassung aller in der Informatik betrachteten Methoden des Entwurfs und der...
Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der Fachbereich Informatik hat sich als Veranstalter fOr...
Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der Fachbereich Informatik hat sich als Veranstalter fOr das Leitthema "Vernetzte und kom plexe Informatik-Systeme" entschieden. Aufgrund der rapide fortschreitenden Technologie und dadurch erschlossener neuer Anwendungsbereiche werden komplexe Systeme in tech nischer oder gesellschaftlicher Umgebung zunehmend durch informatikspezifische Gesichts punkte bestimmt. Dies rechtfertigt den 8egriff "Informatik-System" als Zusammenfassung aller in der Informatik betrachteten Methoden des Entwurfs und der...
Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der Fachbereich Informatik hat sich als Veranstalter fOr...
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems. The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties,...
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in siz...
