Petri Net based Multi-Elevator System with Multi-Agent Environment | Uses of Petri Nets for Elevator Systems

Muhammad Ilyas Fakhir (u. a.)

ISBN 10: 3848489449 / ISBN 13: 9783848489442

Published by LAP Lambert Academic Publishing, 2012

About this Item

Petri Net based Multi-Elevator System with Multi-Agent Environment | Uses of Petri Nets for Elevator Systems | Muhammad Ilyas Fakhir (u. a.) | Taschenbuch | Englisch | LAP Lambert Academic Publishing | EAN 9783848489442 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.

Seller Inventory # 106409918

Bibliographic Details

• Title: Petri Net based Multi-Elevator System with Multi-Agent Environment | Uses of Petri Nets for Elevator Systems
• Publisher: LAP Lambert Academic Publishing
• Publication Date: 2012
• Language: English
• ISBN 10: 3848489449
• ISBN 13: 9783848489442
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 220W x 150H x 5D millimeters 220 millimeters width by 150 millimeters height by 5 millimeters depth
• Weight: 150 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

I’m trying to build bridges between mathematics and practical subjects like information technology and engineering. A Petri nets (PNs) are a graphical and mathematical tool that are used for describing and studying information processing systems that are characterized as being concurrent, asynchronous, distributed, parallel, non-deterministic and/or stochastic. As a graphical tool, Petri nets can be used as a visual-communication aid similar to flow charts, block diagrams and networks. Tokens are used in these nets to simulate the dynamic and concurrent states of systems. As a mathematical tool, it is possible to set up state equations, algebraic equations and other mathematical models governing the behavior of systems. Since Petri nets are a formal methods’ designing and modeling technique, so they are used to model complex systems as mathematical entities. By building a mathematically rigorous model of a complex system, it is possible to verify the system's properties in a more thorough fashion than empirical testing.

About the Author

Muhammad Ilyas FakhirCity/Village: Angah (Khushab)