Choose an application

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

This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, , in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2019. The 23 regular and 3 invited papers presented together in this volume were carefully reviewed and selected from 41 submissions. The focus of the conference is on following topics: Models, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics, and Models with Extensions.

Logic design. --- Computer software. --- Computational complexity. --- Data structures (Computer scienc. --- Software engineering. --- Artificial intelligence. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Discrete Mathematics in Computer Science. --- Data Structures. --- Software Engineering. --- Artificial Intelligence. --- Data structures (Computer science) --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering --- Complexity, Computational --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Petri nets --- Computer multitasking. --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Computer logic. --- Algorithms. --- Computer science—Mathematics. --- Data structures (Computer science). --- Algorism --- Algebra --- Arithmetic --- Computer science logic --- Logic, Symbolic and mathematical --- Foundations --- Computer science. --- Discrete mathematics. --- Artificial intelligence—Data processing. --- Computer Science Logic and Foundations of Programming. --- Data Science. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Informatics --- Science

Choose an application

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

Petri nets --- Parallel processing (Electronic computers) --- Réseaux de Pétri --- Parallélisme (Informatique) --- Congresses. --- Congrès --- Computer multitasking --- Algebra --- Computer Science --- Mathematics --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Computer science. --- Microprocessors. --- Computer communication systems. --- Software engineering. --- Operating systems (Computers). --- Computers. --- Computer science --- Computer Science. --- Theory of Computation. --- Software Engineering. --- Discrete Mathematics in Computer Science. --- Computer Communication Networks. --- Processor Architectures. --- Operating Systems. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- 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 --- Minicomputers --- Informatics --- Science --- Operating systems --- Distributed processing --- Information theory. --- Computational complexity. --- Complexity, Computational --- Communication theory --- Communication --- Computer science—Mathematics. --- Discrete mathematics. --- Computer networks. --- Computer architecture. --- Architecture, Computer --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis