Jorg Desel,
Jorg (Humboldt-Universitat zu Berlin) Desel,
Javier Esparza,
Javier (University of Edinburgh) Esparza
e.a.
Free Choice Petri Nets
Paperback Engels 2005 9780521019453Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9780521019453
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:256
Uitgever:Cambridge University Press
Serie:Cambridge Tracts in
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
1. Introduction; 2. Analysis techniques for petri nets; 3. S-systems and T-systems; 4. Liveness in free choice; 5. The coverability theorems; 6. The rank theorem; 7. Reduction and synthesis; 8. Home markings; 9. Reachability and shortest sequences; 10. Generalizations; Index; List of symbols; List of main results.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan