Application and Theory of Petri Nets [electronic resource] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings /
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency(33rd :2012 :Hamburg, Germany)
Haddad, Serge.editor.
Pomello, Lucia.editor.
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.
International conference proceedings.
Includes bibliographical references and author index.
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.
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.

Lecture Notes in Computer Science