|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910145798903321 |
|
|
Titolo |
Petri Net Technology for Communication-Based Systems : Advances in Petri Nets / / edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2003.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 468 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2472 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer science |
Computer communication systems |
Computers |
Computer logic |
Computer science—Mathematics |
Software Engineering |
Computer Science, general |
Computer Communication Networks |
Computation by Abstract Devices |
Logics and Meanings of Programs |
Discrete Mathematics in Computer Science |
|
|
|
|
|
|
|
|
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 and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY -- Application Development Assistance with the Petri Net Baukasten -- Petri Net Transformations in the ?Petri Net Baukasten? -- Four Steps Towards Sound Business Process Models -- Generation of Animation Views for Petri Nets in GenGED -- The Petri Net Kernel -- The Petri Net Markup Language -- Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets -- Rule-Based Refinement of Petri Nets: A Survey -- Modelling a Railway Crossing with Message Sequence Charts and Petri Nets -- Quantitative |
|
|
|
|