Analyse von Petri-Netz-Modellen (eBook, PDF)
Analyse von Petri-Netz-Modellen (eBook, PDF) Jetzt bewerten Jetzt bewerten
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei
bücher.de, um das eBook-Abo tolino select nutzen zu können.
Hier
können Sie sich einloggen
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
Produktdetails
Verlag: Vieweg+Teubner Verlag Seitenzahl: 253 Erscheinungstermin: 1. Juli 2013 Deutsch ISBN-13: 9783663092629 Artikelnr.: 53387024 Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Die Herstellerinformationen sind derzeit nicht verfügbar.
1. Modellierung mit Petri-Netzen.- 2. Grundbegriffe.- 3. Nebenläufigkeit und Konflikt.- 4. Beschränktheit.- 5. Überdeckbarkeit und Erreichbarkeit.- 6. Lebendigkeit.- 7. Äquivalente Markierungen.- 8. Sture Transitionen.- 9. Reduktion.- 10. Netztypen.- 11. Invarianten.- 12. Fairness.- 13. Synchronie.- 14. Struktureigenschaften.- 15. Die Deadlock-Falle-Eigenschaft.- 16. Dekomposition.- 17. Zeitbewertete Netze.- 18. Netze mit Schaltdauer.- 19. Zeit-Netze.- 20. Gefärbte Petri-Netze.- 21. Prädikat/Transitions-Netze.- 22. Werkzeuge.- Stichwortverzeichnis.
1. Modellierung mit Petri-Netzen.- 2. Grundbegriffe.- 3. Nebenläufigkeit und Konflikt.- 4. Beschränktheit.- 5. Überdeckbarkeit und Erreichbarkeit.- 6. Lebendigkeit.- 7. Äquivalente Markierungen.- 8. Sture Transitionen.- 9. Reduktion.- 10. Netztypen.- 11. Invarianten.- 12. Fairness.- 13. Synchronie.- 14. Struktureigenschaften.- 15. Die Deadlock-Falle-Eigenschaft.- 16. Dekomposition.- 17. Zeitbewertete Netze.- 18. Netze mit Schaltdauer.- 19. Zeit-Netze.- 20. Gefärbte Petri-Netze.- 21. Prädikat/Transitions-Netze.- 22. Werkzeuge.- Stichwortverzeichnis.