Choose an application

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

What do road and railway systems, mingling at parties, mazes, family trees, and the Internet all have in common? All are networks - either people or places or things that relate and connect to one another. Peter Higgins shows that all these phenomena - and many more - are underpinned by the same deep mathematical structure.

Nets (Mathematics) --- Mathematical recreations. --- Mathematics --- Mathematical puzzles --- Number games --- Recreational mathematics --- Recreations, Mathematical --- Puzzles --- Scientific recreations --- Games in mathematics education --- Magic squares --- Magic tricks in mathematics education --- Moore-Smith convergence --- Net equations --- Net methods (Mathematics) --- Convergence --- Set theory --- Topology --- Logic, Symbolic and mathematical

Choose an application

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

Laguerre geometry. --- Geometry, Non-Euclidean. --- Nets (Mathematics) --- Geometria no euclidiana --- Xarxes (Matemàtica) --- Non-Euclidean geometry --- Geometry --- Parallels (Geometry) --- Geometry, Laguerre --- Geometry, Analytic --- Convergència de Moore-Smith --- Equacions de xarxes --- Mètodes de xarxes (Matemàtica) --- Moore-Smith, Convergència de --- Convergència (Matemàtica) --- Topologia --- Xarxes de Petri --- Espais hiperbòlics --- Geometria de Riemann --- Geometria hiperbòlica --- Hiperespai --- Geometria euclidiana --- Paral·leles (Geometria) --- Moore-Smith convergence --- Net equations --- Net methods (Mathematics) --- Convergence --- Set theory --- Topology --- Foundations

Choose an application

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

This monograph presents a well written and clearly organized introduction in the standard methods of discrete, continuous and hybrid Petri Nets. Starting from the basics of Petri nets the book imparts an accurate understanding of continuous and hybrid Petri Nets. Preserving the consistency of basic concepts throughout the text it introduces a unified framework for all the models presented. The book is a scientific monograph as well as a didactic tutorial which is easy to understand due to many exercises with solutions, detailed figures and several case studies. It demonstrates that Petri nets are a deep, practical and alive field important for researchers, engineers and graduate students in engineering and computer science. Improvements and additions in this second edition have widely benefited from teaching, student questions, and various discussions with colleagues interested or involved in the topic.

Petri nets. --- Nets (Mathematics) --- Moore-Smith convergence --- Net equations --- Net methods (Mathematics) --- Engineering. --- Mathematical logic. --- Applied mathematics. --- Engineering mathematics. --- Computational intelligence. --- Control engineering. --- Robotics. --- Mechatronics. --- Control. --- Applications of Mathematics. --- Engineering, general. --- Control, Robotics, Mechatronics. --- Computational Intelligence. --- Mathematical Logic and Formal Languages. --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Automation --- Machine theory --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Programmable controllers --- Intelligence, Computational --- Artificial intelligence --- Soft computing --- Engineering --- Engineering analysis --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Construction --- Industrial arts --- Technology --- Convergence --- Topology --- Graph theory --- Mathematics. --- Computer science. --- Control and Systems Theory. --- Informatics --- Science --- Math

Choose an application

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

This monograph presents a well written and clearly organized introduction in the standard methods of discrete, continuous and hybrid Petri Nets. Starting from the basics of Petri nets the book imparts an accurate understanding of continuous and hybrid Petri Nets. Preserving the consistency of basic concepts throughout the text it introduces a unified framework for all the models presented. The book is a scientific monograph as well as a didactic tutorial which is easy to understand due to many exercises with solutions, detailed figures and several case studies. It demonstrates that Petri nets are a deep, practical and alive field important for researchers, engineers and graduate students in engineering and computer science.

Petri nets. --- Nets (Mathematics) --- Moore-Smith convergence --- Net equations --- Net methods (Mathematics) --- Convergence --- Set theory --- Topology --- Graph theory --- Information Technology --- Artificial Intelligence --- Réseaux de Pétri --- EPUB-LIV-FT SPRINGER-B LIVINGEN --- Artificial intelligence. --- Engineering mathematics. --- Computer science. --- Systems theory. --- Mathematics. --- Control, Robotics, Mechatronics. --- Artificial Intelligence. --- Mathematical and Computational Engineering. --- Mathematical Logic and Formal Languages. --- Systems Theory, Control. --- Applications of Mathematics. --- System theory. --- Math --- Science --- Informatics --- Engineering --- Engineering analysis --- Mathematical analysis --- 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 --- Systems, Theory of --- Systems science --- Mathematics --- Philosophy --- Petri nets --- Control engineering. --- Robotics. --- Mechatronics. --- Applied mathematics. --- Mathematical logic. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Automation --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Programmable controllers

Choose an application

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

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences. In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and present the related analysis methods in detail. They also provide a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies that illustrate the practical use of CPN modelling and validation for design, specification, simulation, verification and implementation in various application domains. Their presentation primarily aims at readers interested in the practical use of CPN. Thus all concepts and constructs are first informally introduced through examples and then followed by formal definitions (which may be skipped). The book is ideally suitable for a one-semester course at an advanced undergraduate or graduate level, and through its strong application examples can also serve for self-study. An accompanying website offers additional material such as slides, exercises and project proposals.

Petri nets. --- Petri nets --- Computer Science --- Algebra --- Speculative Philosophy --- Engineering & Applied Sciences --- Philosophy --- Mathematics --- Physical Sciences & Mathematics --- Philosophy & Religion --- Nets (Mathematics) --- Moore-Smith convergence --- Net equations --- Net methods (Mathematics) --- Computer science. --- Computer organization. --- Software engineering. --- Computers. --- Computer simulation. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computation by Abstract Devices. --- Simulation and Modeling. --- Software Engineering. --- Computer Systems Organization and Communication Networks. --- Graph theory --- Convergence --- Set theory --- Topology --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Informatics --- Science --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- 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