Listing 1 - 8 of 8 |
Sort by
|
Choose an application
Choose an application
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
Petri nets --- Petrinetten --- Réseaux de Petri --- Petri, réseaux de --- Informatique --- Systèmes, Conception de --- Gestion --- Production --- Informatique - Gestion - Production --- Petri, Réseaux de. --- Procédés de fabrication. --- Petri nets. --- Production management --- Modèles mathématiques --- Gestion. --- Mathematical models. --- Petri, Réseaux de. --- Procédés de fabrication. --- Modèles mathématiques
Choose an application
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
Abstract automata --- Abstract machines --- Automata --- Automates [Théorie des ] --- Automates mathématiques [Théorie des ] --- Machine theory --- Machines [Théorie des ] --- Mathematical machine theory --- Petri nets --- Petrinetten --- Réseaux de Petri --- Théorie des automates mathématiques --- Théorie des machines --- Wiskundige automaten [Theorie van de ] --- Réseaux de Pétri --- Automates mathématiques, Théorie des --- Petri, réseaux de --- Réseaux de Pétri --- Automates mathématiques, Théorie des --- Informatique --- Computer science --- Computer science. --- Décidabilité (logique mathématique) --- Algorithmique --- Automates abstraits
Choose an application
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
This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997. The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.
Computer. Automation --- Petri nets --- Réseaux de Pétri --- Congresses --- Congrès --- Petri, Reseaux de --- Computer science. --- Computer communication systems. --- Operating systems (Computers). --- Computers. --- Computer science --- Mathematical logic. --- Combinatorics. --- Computer Science. --- Theory of Computation. --- Mathematical Logic and Foundations. --- Computer Communication Networks. --- Discrete Mathematics in Computer Science. --- Operating Systems. --- Mathematics. --- Réseaux de Pétri --- Congrès --- Combinatorics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- 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 operating systems --- Computers --- Disk operating systems --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Informatics --- Mathematics --- Operating systems --- Information theory. --- Logic, Symbolic and mathematical. --- Computational complexity. --- Algebra --- Mathematical analysis --- Systems software --- Complexity, Computational --- Machine theory --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Communication theory --- Communication --- Cybernetics --- Computer science—Mathematics. --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Computer systems --- Calculators --- Cyberspace --- Distributed processing --- Petri, Reseaux de - Congres.
Choose an application
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
Listing 1 - 8 of 8 |
Sort by
|