Petri Net based Multi-Elevator System with Multi-Agent Environment
AUTHOR | Afzal, Sher; Fakhir, Muhammad Ilyas; Ahmad, Farooq |
PUBLISHER | LAP Lambert Academic Publishing (06/18/2012) |
PRODUCT TYPE | Paperback (Paperback) |
Description
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.
Show More
Product Format
Product Details
ISBN-13:
9783848489442
ISBN-10:
3848489449
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
100
Carton Quantity:
78
Product Dimensions:
6.00 x 0.24 x 9.00 inches
Weight:
0.35 pound(s)
Country of Origin:
US
Subject Information
BISAC Categories
Computers | General
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
Your Price
$62.84