Lectures on Petri Nets I: Basic Models Advances in Petri Nets /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Reisig, Wolfgang (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rozenberg, Grzegorz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Έκδοση: 1st ed. 1998.
• Σειρά: Lecture Notes in Computer Science, 1491
• Θέματα: Computers.; Software engineering.; Computer communication systems.; Information technology.; Business-Data processing.; Computational complexity.; Theory of Computation.; Software Engineering.; Computer Communication Networks.; IT in Business.; Complexity.

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume &...

Πίνακας περιεχομένων:

• Informal introduction to petri nets
• Elementary net systems
• Place/transition Petri Nets
• Principles of high-level net theory
• Petri nets in performance analysis: An introduction
• Basic linear algebraic techniques for place/transition nets
• Linear algebraic and linear programming techniques for the analysis of place/transition net systems
• Decidability and complexity of Petri net problems - An introduction
• The state explosion problem
• Theory of regions
• Petri nets and other models of concurrency
• Distributed versions of linear time temporal logic: A trace perspective.