Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications /

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...

Full description

Bibliographic Details

Main Author:	Girault, Claude
Corporate Author:	SpringerLink (Online service)
Other Authors:	Valk, R. (Rüdiger)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
Subjects:	Computer science. Computer Communication Networks. Software engineering. Logic design. Telecommunication. Management information systems. Electronic books.
Online Access:	Connect to the full text of this electronic book