Free Choice Petri Nets

Free Choice Petri Nets

4.11 - 1251 ratings - Source

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the theory. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques. The material is organised along the lines of a course book, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.Lecture Notes in Computer Science, Vol. ... Electrical Engineering, M.S. Thesis ( 1972) HACK, M.H.T.: Corrections to a#39;Analysis of Production Schemata by Petri Netsa#39; ... MIT, Project MAC, Computation Structures Group, Memo 78-1 (1974) HILLEN, D.: Relationship between Deadlock-freeness and Liveness in Free Choice Nets. ... HOWELL, R.R.; ROSIER, L.E.: An O(n1a#39;5) Algorithm to Decide 230 References.

Title:Free Choice Petri Nets
Author: Jorg Desel, Javier Esparza
Publisher:Cambridge University Press - 2005-09-08

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