Choose an application

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

Grafcet, méthode --- Petri, Réseaux de --- Petri, réseaux de. --- Grafcet, méthode --- Petri, Réseaux de --- Petri, réseaux de --- Petri, Réseaux de - Problèmes et exercices --- GRAFCET. --- Petri, Réseaux de. --- Petri nets.

Choose an application

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

The aim of these series of volumes "Advances in Petri Nets" is to present to the general computer science community the most significant recent results with regard to the development in the area. The main source of the papers are the annual European Workshops on Applications and Theory of Petri Nets"; the highest ranked papers from the past workshops are considered for the series, i.e., they are again reviewed and accordingly revised or extended. In addition to the workshop papers, the "Advances" also present invited papers. The present volume Advances in Petri Nets 1987 covers the 7th "European Workshop on Applications and Theory of Petri Nets" held in Oxford, Great Britain, in June 1986. It also contains a survey on complexity of problems related to Petri nets written by R.R. Howell and L.E. Rosier. A special feature of this volume is a bibliography on Petri nets, containing more than 2000 entries.

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. --- Computer science --- Informatique --- Petri, Réseaux de --- Petri, Réseaux de

Choose an application

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

This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory. Added synergistic benefit is derived from combining their respective advantages. Petri nets are treated as composable objects, and as such they are embedded in a general process algebra. On the other hand, a generic process algebra is given an automatic Petri net semantics so that net-based verification techniques, based on structural invariants and causal partial orders, can be applied to the process algebra. Finally, the theory is applied to a realistic concurrent programming language. The book contains full proofs, carefully chosen examples and several possible directions for further research. It is self-contained and supposes only acquaintance with basic discrete mathematics. A unique aspect is that the development of the Petri net algebra is handled so as to allow for further application-oriented extensions and modifications.

Parallel processing (Electronic computers) --- Computer science --- Petri nets --- Parallélisme (Informatique) --- Informatique --- Réseaux de Pétri --- Mathematics --- Mathématiques --- Parallélisme (Informatique) --- Réseaux de Pétri --- Mathématiques --- Mathematics. --- Petri, Réseaux de --- Algebra. --- Computer logic. --- Computers. --- Software engineering. --- Computer science—Mathematics. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Software Engineering. --- Symbolic and Algebraic Manipulation. --- Discrete Mathematics in Computer Science. --- Computer software engineering --- Engineering --- 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 science logic --- Logic, Symbolic and mathematical --- Mathematical analysis --- Computer science - Mathematics --- Petri, Réseaux de

Choose an application

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

Mathematical control systems --- System Design --- Petri nets --- System Analysis --- System analysis --- System design --- #TCPW:boek --- 681.3*F11 --- 681.3*F12 --- 681.3*F32 --- 681.3*H0 --- Design, System --- Systems design --- Electronic data processing --- Network theory --- Systems analysis --- System theory --- Mathematical optimization --- Graph theory --- Nets (Mathematics) --- Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Computerwetenschap--?*H0 --- Petri nets. --- System analysis. --- System design. --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Network analysis --- Network science --- Computer science --- Informatique --- Petri, Réseaux de --- Petri, Réseaux de