Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. The 18 regular papers and 2 tool papers presented were carefully reviewed and selected from 56 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.

Computer science. --- Software engineering. --- Data structures (Computer science). --- Logic design. --- Computer Science. --- Computation by Abstract Devices. --- Software Engineering. --- Logics and Meanings of Programs. --- Probability and Statistics in Computer Science. --- Data Structures. --- Programming Languages, Compilers, Interpreters. --- Engineering & Applied Sciences --- Computer Science --- Design, Logic --- Design of logic systems --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Computer software engineering --- Informatics --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Mathematical statistics. --- Petri nets --- Data structures (Computer scienc. --- Data structures (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Engineering --- Science --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Mathematics --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Sampling (Statistics) --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Statistical methods --- Computer science—Mathematics. --- Artificial intelligence—Data processing. --- Compilers (Computer programs). --- Theory of Computation. --- Computer Science Logic and Foundations of Programming. --- Data Science. --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 100{150 participants { one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. This year the conference was organized jointly with the 2nd International Conference on Application of Concurrency to System Design (ICACSD 2001). The two conferences shared the invited lectures and the social program. The conference and a number of other activities are co-ordinated by a steering committee with the following members: G. Balbo (Italy), J. Billington (Aust- lia), G. De Michelis (Italy), C. Girault (France), K. Jensen (Denmark), S. - magai (Japan), T. Murata (USA), C.A. Petri (Germany; honorary member), W. Reisig (Germany), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Other activities before and during the 2001 conference included tool dem- strations, a meeting on XML Based Interchange Formats for Petri Nets", - tensive introductory tutorials, two advanced tutorials on Probabilistic Methods in Concurrency" and Model Checking", and two workshops on Synthesis of Concurrent Systems" and Concurrency in Dependable Computing". The tu- rial notes and workshop proceedings are not published in these proceedings, but copies are available from the organizers.

Mathematics. --- Information technology. --- Business --- Computer communication systems. --- Software engineering. --- Mathematical logic. --- Computer science --- Mathematical Logic and Foundations. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Computer Communication Networks. --- Discrete Mathematics in Computer Science. --- IT in Business. --- Data processing. --- Petri nets --- Logic, Symbolic and mathematical. --- Computer science. --- Computational complexity. --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Complexity, Computational --- Electronic data processing --- Machine theory --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer software engineering --- Engineering --- Computer science—Mathematics. --- Business—Data processing. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Distributed processing --- Machine theory. --- Computer networks. --- Discrete mathematics. --- Business information services. --- Formal Languages and Automata Theory. --- Business enterprises --- Information services --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Computer mathematics --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics