Skip to content

Property-Preserving Petri Net Process Algebra in Software Engineering
Stock Photo: Cover May Be Different

Property-Preserving Petri Net Process Algebra in Software Engineering Hardcover - 2012 - 1st Edition

by Hejiao Huang; Li Jiao; To-Yat Cheung


From the jacket flap

In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. Usually, the constituent components are supposed to be correct, i.e., possessing the desirable properties and being free from undesirable ones. However, the operators may destroy these properties or create new ones, resulting in an undesirable new component. Hence, every created component has to go through a new process of verification. This indeed involves a tremendous amount of effort!

This book presents a component-based methodology for the creation and verification of design specifications. The methodology is formally presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA). Briefly, PPPA includes five classes of operators. The authors show that every operator of PPPA can preserve a large number of basic system properties. Hence, if the initial set of primitive components satisfies some of these properties, the created components will also "automatically" satisfy them without the need of further verification. This greatly saves the efforts spent in verification.

Details

  • Title Property-Preserving Petri Net Process Algebra in Software Engineering
  • Author Hejiao Huang; Li Jiao; To-Yat Cheung
  • Binding Hardcover
  • Edition number 1st
  • Edition 1
  • Pages 320
  • Volumes 1
  • Language ENG
  • Publisher World Scientific Publishing Company
  • Date 2012-09-30
  • Illustrated Yes
  • ISBN 9789814324281 / 9814324280
  • Weight 1.3 lbs (0.59 kg)
  • Dimensions 9.1 x 5.9 x 1.1 in (23.11 x 14.99 x 2.79 cm)
  • Dewey Decimal Code 005.8
Back to Top

More Copies for Sale

Property-Preserving Petri Net Process Algebra in Software Engineering
Stock Photo: Cover May Be Different

Property-Preserving Petri Net Process Algebra in Software Engineering

by Huang, Hejiao

  • Used
Condition
UsedVeryGood
ISBN 10 / ISBN 13
9789814324281 / 9814324280
Quantity Available
6
Seller
Center Moriches, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$35.97
$3.00 shipping to USA

Show Details

Description:
UsedVeryGood. Fast Shipping - Safe and Secure 7 days a week!
Item Price
$35.97
$3.00 shipping to USA
Property-Preserving Petri Net Process Algebra In Software Engineering
Stock Photo: Cover May Be Different

Property-Preserving Petri Net Process Algebra In Software Engineering

by Hejiao Huang, Li Jiao, To-Yat Cheung, Wai Ming Mak

  • Used
  • good
  • Hardcover
Condition
Used - Good
Edition
1
Binding
Hardcover
ISBN 10 / ISBN 13
9789814324281 / 9814324280
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$42.20
FREE shipping to USA

Show Details

Description:
World Scientific Publishing Company, 2012-03-14. 1. Hardcover. Good.
Item Price
$42.20
FREE shipping to USA
PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING
Stock Photo: Cover May Be Different

PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING

by Huang Hejiao Et Al,

  • New
  • Hardcover
  • first
Condition
New
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9789814324281 / 9814324280
Quantity Available
2
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$69.00
$10.00 shipping to USA

Show Details

Description:
World Scientific Publishing, 2012. 1st. Hardcover. New/New.
Item Price
$69.00
$10.00 shipping to USA
Property-preserving Petri Net Process Algebra In Software Engineering

Property-preserving Petri Net Process Algebra In Software Engineering

by Hejiao Huang

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9789814324281 / 9814324280
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$129.33
$12.63 shipping to USA

Show Details

Description:
Hardback. New. In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This book offers a component-based methodology for the creation and verification of design specifications. The methodology is presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA).
Item Price
$129.33
$12.63 shipping to USA
Property-Preserving Petri Net Process Algebra in Software Engineering

Property-Preserving Petri Net Process Algebra in Software Engineering

by Hejiao Huang

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9789814324281 / 9814324280
Quantity Available
283
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$142.90
$10.15 shipping to USA

Show Details

Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Property-Preserving Petri Net Process Algebra in Software Engineering.
Item Price
$142.90
$10.15 shipping to USA
Property-Preserving Petri Net Process Algebra In Software Engineering
Stock Photo: Cover May Be Different

Property-Preserving Petri Net Process Algebra In Software Engineering

by Huang Hejiao Et Al

  • New
Condition
New
ISBN 10 / ISBN 13
9789814324281 / 9814324280
Quantity Available
1
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$120.10
$5.00 shipping to USA

Show Details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
$120.10
$5.00 shipping to USA
Property-Preserving Petri Net Process Algebra In Software Engineering
Stock Photo: Cover May Be Different

Property-Preserving Petri Net Process Algebra In Software Engineering

by Huang Hejiao Et Al

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9789814324281 / 9814324280
Quantity Available
5
Seller
NEW DELHI, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$131.05
$3.00 shipping to USA

Show Details

Description:
Paperback. New. Book Condition: New Paperback Original Edition. Will be dispatched fast. Please send me an email if you have any questions. 100% Satisfaction.
Item Price
$131.05
$3.00 shipping to USA
Property-Preserving Petri Net Process Algebra in Software Engineering
Stock Photo: Cover May Be Different

Property-Preserving Petri Net Process Algebra in Software Engineering

by Huang, Hejiao; Jiao, Li; Cheung, To-Yat

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9789814324281 / 9814324280
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 1 of 5 Stars rating from Biblio customers.
Item Price
$132.00
$15.00 shipping to USA

Show Details

Description:
World Scientific Publishing Company. hardcover. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
$132.00
$15.00 shipping to USA
Property-Preserving Petri Net Process Algebra in Software Engineering
Stock Photo: Cover May Be Different

Property-Preserving Petri Net Process Algebra in Software Engineering

by Hejiao Huang Wai Ming Mak To-Yat Cheung Li Jiao

  • Used
  • Hardcover
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9789814324281 / 9814324280
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$140.13
$3.99 shipping to USA

Show Details

Description:
World Scientific Publishing Company, Incorporated , pp. 320 . Hardback. Used.
Item Price
$140.13
$3.99 shipping to USA
Property-preserving Petri Net Process Algebra in Software Engineering [??????] Huang, Hejiao?...
Stock Photo: Cover May Be Different

Property-preserving Petri Net Process Algebra in Software Engineering [??????] Huang, Hejiao? Jiao, Li? Cheung, To-Yat; Mak, Wai Ming

by Author

  • New
Condition
New
ISBN 10 / ISBN 13
9789814324281 / 9814324280
Quantity Available
1
Seller
Bangkok , Thailand
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
$188.02
$10.00 shipping to USA

Show Details

Description:
New. Never used book
Item Price
$188.02
$10.00 shipping to USA