Enlarge

Coloured petri nets : modeling and validation of concurrent systems

K. Jensen

Publication Data

Title Coloured petri nets : modeling and validation of concurrent systems
Author K. Jensen
Contributor Lars M. Kristensen
Publisher Springer
Publication date 2009
Publication location Dordrecht
Language English

Topics

015109919

Catalogue Data

OBNB ID GBA937167
ISBN 10 3642002838
ISBN 13 9783642002830
Type BibliographicResource, Book
Dewey Classification 005.1015115

ISBD

P1053 xi, 384 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Coloured petri nets : modeling and validation of concurrent systems by K. Jensen. ISBN 9783642002830. Published by Springer in 2009. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.