Pay in installments of $31.15 with
,
and
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Aug 16 - Aug 21
For Your Every Summer RSVP, with Code: SUMMER15
Description
Proper-Preserv Petri Net Proc Algebra ..In a component based approach for system design, one of the challenging problems is the way to prove the correctness of the created components. Usually, the constituent components are supposed to be correct possessing the desirable properties and 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
In a component-based approach for system design, one of the challenging problems is the way to prove the correctness of the created components. Usually, the constituent components are supposed to be correct -- possessing the desirable properties and 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, involving 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). PPPA includes five classes of operators, and the authors show that every operator of PPPA can preserve a large number of basic system properties. Therefore, if the initial set of primitive components satisfies some of these properties, the created components will also "automatically" satisfy them without the need for further verification -- thus greatly saving verification efforts.Shipping Notes
- Free Standard Shipping on $100+ Orders to the USA.
- Except Preorder products are shipped in 48 hours.
- Delivery to the USA:
- Standard Shipping : 3-10 business days
- If time is of the essence, please consider selecting expedited delivery for faster service.
Exchange/Return Notes
- We offer a 30-day return/exchange service after receiving.
- Final sale items are not eligible for returns or exchanges.
- To process your return/exchange, please contact us at [email protected]
- Please click here for more details>>> Return & Exchange Policy
4.0 ★★★★★
Based on 8 reviews
Sort
Product Reviews
★★★★★ 5
Expensive
Size: Queen (Mid Loft), Number of Items: 1
Very comfortable, smell goes away
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 21, 2026
★★★★★ 5
Winners in my book
Size: Queen (Mid Loft), Number of Items: 1
Great bang for your buck ! Almost have a bunch feel to them. Hold their shape
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 29, 2026
★★★★★ 4
Softer than expected
Size: Queen (Mid Loft), Number of Items: 1
Not as firm as I would like. Make sure you want a soft pillow if you choose this one. Seems high quality otherwise
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on August 6, 2025
★★★★★ 5
Super comfortable and great neck support
Size: Queen (Mid Loft), Number of Items: 1
This pillow is super comfortable!
It has support for the neck, which is so important so that my neck doesn’t end up creasing and cutting off your air. Great for side, sleepers or people that need a little bit more support. The height is about 5 inches- it appears firm, but it conforms to your neck shape and supports it. Great value for the money! I own four of them and guests finds them comfortable also
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on June 1, 2026
★★★★★ 5
Perfect Pillow
Size: Queen (Mid Loft), Number of Items: 1
This is the best pillow I’ve ever had! Supportive yet soft. Never goes flat. I’m a side sleeper and I have neck and shoulder pain and this pillow keeps my head and neck in alignment. I’m buying a set for our camper and our 2nd home so I can sleep comfortably wherever I go. Price point is spot on for the quality of pillow.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on July 23, 2025
recommand products
CLASSIC T-SHIRT TEMPLATE
29.00
ULTIMA REAR BRAKE PAD SET TO SUIT HOLDEN CALAIS VN VP VR VS BUICK ECOTEC LN3 L27 L36 L67 S/C 3.8 V6
21.95
Traditional Temple Design Long Necklace Set with Ruby-Green Stones & Meenakari Pendant for Women
2099.50
MacBook Air 15-inch M3 (Midnight, 2024) - Excellent
372.50
MacBook Air 15-inch M3 (Space Grey, 2024) - Fair
322.50