Vai al contenuto principale della pagina
Titolo: | Lectures on Petri Nets I: Basic Models [[electronic resource] ] : Advances in Petri Nets / / edited by Wolfgang Reisig, Grzegorz Rozenberg |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Edizione: | 1st ed. 1998. |
Descrizione fisica: | 1 online resource (XIII, 691 p.) |
Disciplina: | 511.3 |
Soggetto topico: | 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 | |
Persona (resp. second.): | ReisigWolfgang |
RozenbergGrzegorz | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di contenuto: | 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. |
Sommario/riassunto: | 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 "Lectures on Petri Nets II: Applications" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems. |
Titolo autorizzato: | Lectures on Petri Nets I: Basic Models |
ISBN: | 3-540-49442-1 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465929103316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |