Choose an application

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

Computer architecture. Operating systems --- Petri nets --- Machine theory --- Réseaux de Pétri --- Automates mathématiques, Théorie des --- Congresses --- Congrès --- Réseaux de Pétri --- Automates mathématiques, Théorie des --- Congrès --- Computer Communication Networks.

Choose an application

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

Petri nets --- System design --- Réseaux de Pétri --- Systèmes, Conception de --- 519.1 --- #KVIV:BB --- Design, System --- Systems design --- Electronic data processing --- System analysis --- Graph theory --- Nets (Mathematics) --- Combinatorics. Graph theory --- 519.1 Combinatorics. Graph theory

Choose an application

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

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON.

Computer architecture. Operating systems --- Petrinetten --- Réseaux de Petri --- Réseaux de Pétri --- Réseaux de Pétri --- Machine theory --- Petri nets --- Automates mathématiques, Théorie des --- Congresses --- Congrès --- Information theory. --- Computer science. --- Computer software. --- Logic design. --- Computer Communication Networks. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Processor Architectures. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Computer systems

Choose an application

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

Petri nets --- Graph theory --- Réseaux de Pétri --- Théorie des graphes --- 681.3*F12 --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Réseaux de Pétri --- Théorie des graphes

Choose an application

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

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets I: Basic Models" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems.

Petri nets --- Réseaux de Pétri --- Congresses --- Congrès --- Algebra --- Mathematics --- Physical Sciences & Mathematics --- Petrinetten --- Réseaux de Petri --- Réseaux de Pétri --- Congrès --- Computer communication systems. --- Complexity, Computational. --- IT in Business. --- Complexity. --- Computer science. --- Information technology. --- Business --- Software engineering. --- Computers. --- Computer Science. --- Theory of Computation. --- Software Engineering. --- Computer Communication Networks. --- Data processing. --- Complexity, Computational --- Electronic data processing --- Machine theory --- 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 --- Network computers --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Informatics --- Science --- Distributed processing --- Information theory. --- Engineering. --- Communication theory --- Communication --- Construction --- Industrial arts --- Business—Data processing. --- Computational complexity. --- Petri nets - Congresses