Application and Theory of Petri Nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings / edited by Serge Haddad, Lucia Pomello.

Format:

Book

Contributor:

Haddad, Serge, editor.

Pomello, Lucia, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 7347.

Theoretical Computer Science and General Issues ; 7347

Language:

English

Subjects (All):

Computers.

Software engineering.

Computer logic.

Mathematical statistics.

Data structures (Computer science).

Computation by Abstract Devices.

Software Engineering.

Logics and Meanings of Programs.

Probability and Statistics in Computer Science.

Data Structures.

Local Subjects:

Computation by Abstract Devices.

Software Engineering.

Logics and Meanings of Programs.

Probability and Statistics in Computer Science.

Data Structures.

Physical Description:

1 online resource (XI, 419 pages) : 139 illustrations.

Edition:

First edition 2012.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

System Details:

text file PDF

Summary:

This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. The 18 regular papers and 3 tool papers presented were carefully reviewed and selected from 55 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.

Other Format:

Printed edition:

ISBN:

978-3-642-31131-4

9783642311314

Access Restriction:

Restricted for use by site license.