|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910144151903321 |
|
|
Titolo |
Lectures on Concurrency and Petri Nets : Advances in Petri Nets / / edited by Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2004.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XX, 852 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 3098 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematical logic |
Computers |
Algorithms |
Computer logic |
Computer communication systems |
Information storage and retrieval |
Mathematical Logic and Foundations |
Computation by Abstract Devices |
Algorithm Analysis and Problem Complexity |
Logics and Meanings of Programs |
Computer Communication Networks |
Information Storage and Retrieval |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters. |
|
|
|
|
|
|
Nota di contenuto |
|
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management -- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming -- Timed Automata: Semantics, Algorithms and Tools -- Petri Nets and Dependability -- Process Algebra -- A Coloured Petri Net Approach to Protocol Verification -- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets -- A Survey on Non-interference with Petri Nets -- Synthesis of Asynchronous Hardware from Petri Nets -- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned -- Unbounded Petri Net Synthesis -- |
|
|
|
|