Modular Construction and Partial Order Semantics of Petri Nets

Name: Modular Construction and Partial Order Semantics of Petri Nets
Price: 55.74 USD
Availability: InStock
ISBN: 9783540557678

ISBN-10: 3540557679

ISBN-13: 9783540557678

Edition: 1992

Authors: W. Vogler

List price: $54.99

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $55.74

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

Petri nets are a well-known model for parallel systems, usedfor both applications and theoretical studies. They can beused for specification, modelling, and analysis, and offer agraphical representation and a clear view of concurrency.For the design of large systems, modular construction isindispensible, and considerable effort has been spent onstudying themodular construction of Petri nets.This book studies the modular construction of nets, and inparticular the top-down design of nets by action refinement.Suitable behavior descriptions are presented and specialcare is taken to justify these descriptions by showing thattheyare necessary under reasonable specificationrequirements. In…

Book details

List price: $54.99
Copyright year: 1992
Publisher: Springer Berlin / Heidelberg
Publication date: 7/22/1992
Binding: Paperback
Pages: 256
Size: 6.10" wide x 9.25" long
Weight: 1.848
Language: English