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

Fakhir, Muhammad Ilyas; Ahmad, Farooq; Afzal, Sher

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

Softcover

ISBN 10: 3848489449 ISBN 13: 9783848489442

Publisher: LAP LAMBERT Academic Publishing, 2012

View all copies of this ISBN edition

0 Used

1 New

From � 37.38

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.

"synopsis" may belong to another edition of this title.