Listing 1 - 10 of 11 | << page >> |
Sort by
|
Choose an application
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
Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- toegepaste informatica --- discrete wiskunde --- informatica --- software engineering --- OS (operating system) --- computernetwerken --- architectuur (informatica)
Choose an application
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The fifth volume of ToPNoC contains revised versions of selected papers from workshops and tutorials held in conjunction with the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, as well as a contributed paper selected through the regular submission track of ToPNoC. The 12 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Thus, this volume gives a good view of ongoing concurrent systems and Petri nets research.
Engineering & Applied Sciences --- Computer Science --- Petri nets --- Machine theory --- Computer science. --- Computer communication systems. --- Software engineering. --- Computers. --- Algorithms. --- Computer simulation. --- Computer Science. --- Models and Principles. --- Theory of Computation. --- Simulation and Modeling. --- Software Engineering. --- Computer Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- 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 --- Electronic data processing --- Network computers --- Informatics --- Science --- Foundations --- Distributed processing --- Information theory. --- Computer software. --- Communication theory --- Communication --- Software, Computer
Choose an application
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The fourth volume of ToPNoC contains revised and extended versions of a selection of the best papers from the workshops held at the 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and from the 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. The nine papers provide good coverage of a diverse range of topics including workflow systems, model checking, agent-based software systems, the state explosion problem, structure theory for Petri nets, and modal logics. ‘The volume presents a good mixture of theory, tools, and practical applications related to concurrency and gives a useful snapshot of current research.
Engineering & Applied Sciences --- Computer Science --- Computer multitasking --- Parallel processing (Electronic computers) --- Petri nets --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Computer science. --- Computer communication systems. --- Software engineering. --- Computers. --- Algorithms. --- Computer simulation. --- Computer Science. --- Models and Principles. --- Theory of Computation. --- Simulation and Modeling. --- Software Engineering. --- Computer Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Algorism --- Algebra --- Arithmetic --- 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 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 --- Electronic data processing --- Network computers --- Informatics --- Science --- Foundations --- Distributed processing --- Information theory. --- Computer software. --- Software, Computer --- Communication theory --- Communication
Choose an application
Choose an application
Complex analysis --- Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- toegepaste informatica --- complexe analyse (wiskunde) --- vormgeving --- informatica --- simulaties --- software engineering --- computernetwerken
Choose an application
Computer science. --- Microprocessors. --- Computer communication systems. --- Software engineering. --- Computers. --- Mathematical logic. --- Computer Science. --- Theory of Computation. --- Computer Communication Networks. --- Mathematical Logic and Foundations. --- Processor Architectures. --- Software Engineering. --- Petri nets. --- Operating systems (Computers) --- Information theory. --- Machine theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Communication theory --- Informatics --- Computer software engineering --- Computer operating systems --- Computers --- Disk operating systems --- Operating systems --- Science --- Engineering --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Communication --- Cybernetics --- Systems software --- Graph theory --- Nets (Mathematics) --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Minicomputers --- 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 --- Electronic data processing --- Network computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Distributed processing --- Petri nets
Choose an application
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The fifth volume of ToPNoC contains revised versions of selected papers from workshops and tutorials held in conjunction with the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, as well as a contributed paper selected through the regular submission track of ToPNoC. The 12 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Thus, this volume gives a good view of ongoing concurrent systems and Petri nets research.
Complex analysis --- Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- toegepaste informatica --- complexe analyse (wiskunde) --- vormgeving --- informatica --- simulaties --- software engineering --- computernetwerken
Choose an application
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The fourth volume of ToPNoC contains revised and extended versions of a selection of the best papers from the workshops held at the 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and from the 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. The nine papers provide good coverage of a diverse range of topics including workflow systems, model checking, agent-based software systems, the state explosion problem, structure theory for Petri nets, and modal logics. The volume presents a good mixture of theory, tools, and practical applications related to concurrency and gives a useful snapshot of current research.
Complex analysis --- Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- toegepaste informatica --- complexe analyse (wiskunde) --- vormgeving --- computers --- informatica --- mineralen (chemie) --- simulaties --- mijnbouw --- software engineering --- algoritmen --- computernetwerken
Choose an application
This volume consists of the proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2006). This series of conferences provides a forum for presenting the current state of researchon Petri nets and related approachesto concurrent s- tems. Both applications and theoretical developments are represented. Shorter presentations introducing novel tools or substantial enhancements to existing tools are also encouraged. Further, a range of invited talks that survey related domains are presented. ICATPN2006wasco-locatedwiththe6thInternationalConferenceonApp- cationsofConcurrencytoSystemDesign(ACSD2006).Thetwoconferenceshad common satellite events and invited speakers as well as coordinated programs to enable participants to bene?t from both conferences. The ICATPN 2006 conference as well as ACSD 2006 was organized ? by the Department of Computer Science, Abo Academi University, Turku, F- land. We would like to heartily thank the Organizing Committee, chaired by Johan Lilius, for the considerablee?ort invested to bring o? the two conferences smoothly. Detailed information about ICATPN 2006 and the related events can be found athttp://www.cs.abo.fi/atpn2006/. Thisyearwereceived93submissionsfromauthorsfrom26di?erentcountries.
Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- toegepaste informatica --- discrete wiskunde --- informatica --- software engineering --- OS (operating system) --- computernetwerken --- architectuur (informatica)
Listing 1 - 10 of 11 | << page >> |
Sort by
|