Proper-Preserv Petri Net Proc Algebra ..

By Hejiao Huang, Li Jiao, To-Yat Cheung

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 9814324280
• ISBN13: 9789814324281
• Release Date: September 2012
• Publisher: World Scientific Publishing Company
• Length: 320 Pages
• Weight: 1.30 lbs.
• Dimensions: 1.1" x 5.9" x 9.1"