Property-Preserving Petri Net Process Algebra in Software Engineering

Property-Preserving Petri Net Process Algebra in Software Engineering

4.11 - 1251 ratings - Source



In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This volume presents a component-based methodology for the creation and verification of design specifications.235I252. [PRE (1997)] R. S. Pressman.Software Engineering, A practionera#39;s Approach. McGraw- Hill, fourth edition, 1997. [AAL (2000)] W. M. P. van der Aalst. a€œWorkflow verification: Finding controlflow errors using Petri-net-based techniquesa€.


Title:Property-Preserving Petri Net Process Algebra in Software Engineering
Author: Hejiao Huang, Li Jiao, To-Yat Cheung
Publisher:World Scientific - 2012
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA