Modular Construction and Partial Order Semantics of Petri Nets Image close
Modular Construction and Partial Order Semantics of Petri Nets by Walter Vogler
Modular Construction and Partial Order Semantics of Petri Nets by Walter Vogler
Show Hide Adult Content
Modular Construction and Partial Order Semantics of Petri Nets close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Reference  
Communication studies  
Information theory  
Cybernetics & systems theory

Modular Construction and Partial Order Semantics of Petri Nets

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$157.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.25 with Afterpay Learn more

6 weekly interest-free payments of $26.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 27 Jun - 9 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Euro-Par '96 - Parallel Processing
$304.00
Euro-Par '96 - Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2001 Parallel Processing
$309.00
Euro-Par 2001 Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science - ICCS 2001
$313.00
Computational Science - ICCS 2001
Paperback / softback
Available - Usually ships in 3-4 weeks
Proceedings / Parcella 1988
$150.00
Proceedings / Parcella 1988
Paperback / softback
Available - Usually ships in 3-4 weeks
High-Performance Computing and Networking
$300.00
High-Performance Computing and Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2002. Parallel Processing
$310.00
Euro-Par 2002. Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Advances in Parallel Virtual Machine and Message Passing Interface
$299.00
Recent Advances in Parallel Virtual Machine and Message Passing...
Paperback / softback
Available - Usually ships in 3-4 weeks
Engineering Applications of Bio-Inspired Artificial Neural Networks
$308.00
Engineering Applications of Bio-Inspired Artificial Neural Networks
Paperback / softback
Available - Usually ships in 3-4 weeks
Parallel and Distributed Processing and Applications
$310.00
Parallel and Distributed Processing and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Applied Parallel Computing. Large Scale Scientific and Industrial Problems
$296.00
Applied Parallel Computing. Large Scale Scientific and Industrial...
Paperback / softback
Available - Usually ships in 3-4 weeks
Parallel Processing and Applied Mathematics
$213.00
Parallel Processing and Applied Mathematics
Paperback / softback
Available - Usually ships in 3-4 weeks
Genetic Programming
$226.00
Genetic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms and Architectures for Parallel Processing
$150.00
Algorithms and Architectures for Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Systems Theory - EUROCAST '97
$297.00
Computer Aided Systems Theory - EUROCAST '97
Paperback / softback
Available - Usually ships in 3-4 weeks
Concurrency: Theory, Language, and Architecture
$152.00
Concurrency: Theory, Language, and Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
Compiler Compilers
$156.00
Compiler Compilers
Paperback / softback
Available - Usually ships in 3-4 weeks

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 particular, itis shown that partial-ordersemantics is necessary to support action refinement.
Release date NZ
July 22nd, 1992
Author
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
XII, 256 p.
Pages
256
Dimensions
155x235x14
ISBN-13
9783540557678
Product ID
2842692

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Reference >
Communication studies >
Information theory >
Cybernetics & systems theory
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design >
Parallel processing
Books >
Non-Fiction >
Reference >
Research & information: general >
Information theory >
Cybernetics & systems theory
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design >
Parallel processing