Transactions on petri nets and other models of concurrency III [electronic resource] / Transactions on petri nets and other models of concurrency 3 Transactions on petri nets and other models of concurrency three Petri nets and other models of concurrency III Petri nets and other models of concurrency 3 Petri nets and other models of concurrency three edited by Kurt Jensen, Jonathan Billington, Maciej Koutny. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009. - xiii, 274 p. : ill. (some col.), digital ; 24 cm. - Lecture notes in computer science, 5800 0302-9743 ; .

9783642048562 (electronic bk.)


Petri nets--Congresses.
Parallel processing (Electronic computers)--Congresses.
Computer multitasking--Congresses.
Theory of Computation.
Computer Science.
Mathematical Logic and Formal Languages.
Models and Principles.
Programming Techniques.
Simulation and Modeling.
Software Engineering.

QA166 / .T73 2009

511.35