Listing 1 - 10 of 126 | << page >> |
Sort by
|
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
The 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 in this area. The main source for the papers for "Advances" are the annual "European Workshops on Applications and Theory of Petri Nets"; the "best" papers from the latest workshops are considered for the series, i.e. they are reviewed again and revised or extended accordingly. In addition to the workshop papers, the "Advances" also present invited papers submitted directly for publication. The present volume Advances in Petri Nets 1988 covers the 8th "European Workshop on Applications and Theory of Petri Nets" held in Zaragoza, Spain in June 1987. It also contains a survey on decidability questions for classes of FIFO nets by A. Finkel and L.E. Rosier.
Computer architecture. Operating systems --- Petri nets --- Machine theory --- Réseaux de Pétri --- Automates mathématiques, Théorie des --- Réseaux de Pétri --- Automates mathématiques, Théorie des --- Computer science. --- Computer network architectures. --- Computer Communication Networks. --- Computer software. --- Logic design. --- Computation by Abstract Devices. --- Computer System Implementation. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Processor Architectures. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science
Choose an application
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. The ESPRIT Basic Research Action DEMON (DEsign Methods based On Nets) has been a focus of developments withinthe Petri net community for the last three years. The papers presented in this special volume have been selected from papers submitted by participants in DEMON. The papers have been refereed and appear in revised form. The volume contains technical contributions giving insights into a number of major achievements of the DEMON project. It also contains four survey papers covering important research areas. The volume begins witha description of DEMON given by its coordinator E. Best.
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 --- Petri nets - Congresses. --- Machine theory - Congresses. --- Computer science. --- Computer software. --- Logic design. --- Computer Communication Networks. --- Operating systems (Computers). --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Processor Architectures. --- Operating Systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Software, Computer --- Computer systems --- Informatics --- Science --- Operating systems
Choose an application
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. Thepapers 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 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 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 science. --- Computer Communication Networks. --- Mathematics. --- Computer software. --- Logic design. --- Computation by Abstract Devices. --- Applications of Mathematics. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Processor Architectures. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Computer systems --- Math --- Science --- Informatics
Choose an application
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 science. --- Information theory. --- Mathematics. --- Computer software. --- Logic design. --- Computation by Abstract Devices. --- Theory of Computation. --- Mathematics, general. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Processor Architectures. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Computer systems --- Math --- Science --- Communication theory --- Communication --- Cybernetics --- Informatics
Choose an application
ERP: The Dynamics of Supply Chain and Process Management is a complete updating and expansion of Avraham Shtub’s award-winning 1999 text Enterprise Resource Planning (ERP): The Dynamics of Operations Management. New chapters, written together with his co-author Reuven Karni, cover enterprise process modeling; design of business processes; a complete revision of the original chapter on the integrated order-fulfillment process using ERP; business process management; business process improvement; and a new appendix on simulating process life cycles: using serious games as teaching aids. MERPTM is designed to facilitate the teaching of integrated operations of a business organization with a focus on corporate performance management. It reflects a fully live environment and allows students to participate in a virtual organization made real and dynamic as minute-by-minute business events and conditions unfold. This book is ideal for use in academic and executive programs aimed at teaching students how integrated systems work. It is suitable as a textbook for the basic MBA Operations Management course or as a text for courses on ERP systems and the development of business processes. In an industrial engineering program it could serve to give students their first, and perhaps only, introduction to business issues like market demand and supplier relationships. "I used Avy Shtub’s award-winning 1999 book on ERP and the accompanying Operations Trainer software in several leading MBA programs in the United States and Europe. Most of the courses were delivered in traditional classroom settings but some of them were offered fully online. The current revision and second edition of the book, co-written with Reuven Karni, adds new materials with an emphasis on services and business processes, provides excellent, detailed examples, and revises old ones of the previous edition. The book is nicely complemented and enhanced by the addition of a unique, dynamic, online simulation package MERP™ that represents a major upgrade to the old, PC-based Operations Trainer. In my reading, the book’s first main theme, Integrated Production and Order Management (IPOM), is a different, and perhaps more valid, take on the many issues associated with Supply Chain Management. The authors touch on all facets and issues of Operations and Supply Chain Management and provide a theory-based and sound, practice-proven approach to the problems present in any organization. The second main theme covers the design and improvement of enterprise and business processes, touching on facets and issues relating to process-based enterprise management. I would highly recommend the book and the accompanying software to any instructor teaching Operations/Supply Chain Management, Business Process Management or Industrial Engineering." -- Gyula Vastag (Corvinus University of Budapest, Hungary).
Dynamics. --- Management information systems. --- Management. --- Production management. --- Production management --- Management information systems --- Management Theory --- Industrial & Management Engineering --- Mechanical Engineering --- Management --- Engineering & Applied Sciences --- Business & Economics --- Business logistics. --- Supply chain management --- Manufacturing management --- Réseaux de Pétri --- Réseaux de Pétri --- Business. --- Leadership. --- Operations research. --- Decision making. --- Industrial engineering. --- Production engineering. --- Engineering economics. --- Engineering economy. --- Business and Management. --- Operations Management. --- Operation Research/Decision Theory. --- Business Strategy/Leadership. --- Engineering Economics, Organization, Logistics, Marketing. --- Industrial and Production Engineering. --- Computer architecture. Operating systems --- Industrial management --- Logistics --- Machine theory --- Petri nets --- Automates mathématiques, Théorie des --- Congresses --- Congrès --- Computer network architectures. --- Computer science. --- Computer software. --- Logic design. --- Computer Communication Networks. --- Computer System Implementation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Processor Architectures. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Computer systems --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture
Choose an application
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
Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others.The area of graph grammars and graph tra
Graph grammars. --- Graph theory --- Grammars, Graph --- Formal languages --- Data processing. --- Graph grammars --- Data processing --- Graph theory - Data processing
Choose an application
Biomathematics. Biometry. Biostatistics --- Mathematical linguistics --- Computer science --- General embryology. Developmental biology --- 681.3*F42 --- Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31} --- L systems. --- 681.3*F42 Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31} --- L systems --- Logic design. --- Computer science. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory
Choose an application
The mathematical theory of L systems
Computer science --- Formal languages --- L systems --- #WWIS:ALTO --- 510.5 --- 510.5 Algorithms. Computable functions --- Algorithms. Computable functions --- L developmental languages --- Lindenmayer developmental languages --- Lindenmayer systems --- Developmental biology --- Machine theory --- Formalization (Linguistics) --- Language and languages --- Mathematical models --- L systems. --- Formal languages.
Listing 1 - 10 of 126 | << page >> |
Sort by
|