ENGLISH

Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

By Samson Abramsky (auth.) , Jetty Kleijn , Alex Yakovlev (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2007
ISBN
9783540730934, 9783540730941, 3540730931
DOI
10.1007/978-3-540-73094-1
Open Library ID
OL12810583M
Language
english
Format
PDF
Filesize
7 MB (7227802 bytes)
Series
Lecture Notes in Computer Science 4546 : Theoretical Computer Science and General Issues
Edition
1
Pages
515\524
Topic
Computers
Library
Kolxo3
Time added
2009-12-04 00:34:26
Theory of Computation; Software Engineering; Discr

Description

This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland, in June 2007. The 22 revised full papers and three revised tool papers presented together with five invited papers were carefully reviewed and selected from a total of 70 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed, in particular system design and verification, analysis, synthesis, structure and behavior of nets, net theory and relations, causality/partial order theory of concurrency, semantic Web, logical and algebraic calculi, symbolic net representation, tools for nets, experience reports and case studies, educational issues, higher-level net models, timed and stochastic nets, as well as standardization of nets.

Similar books