Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Time and Petri Nets

Time and Petri Nets

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642411144
Condition
New
Product Description

At first glance the concepts of time and of Petri nets are quite contrary: while time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and they represent events as concurrent systems. But if we take a closer look at how time and causality are intertwined we realize that there are many possible ways in which time and Petri nets interact. This book takes a closer look at three time-dependent Petri nets: Time Petri nets, Timed Petri nets, and Petri nets with time windows. The author first explains classic Petri nets and their fundamental properties. Then the pivotal contribution of the book is the introduction of different algorithms that allow us to analyze time-dependent Petri nets. For Time Petri nets, the author presents an algorithm that proves the behavioral equivalence of a net where time is designed once with real and once with natural numbers, so we can reduce the state space and consider the integer states exclusively. For Timed Petri nets, the author introduces two time-dependent state equations, providing a sufficient condition for the non-reachability of states, and she also defines a local transformation for converting these nets into Time Petri nets. Finally, she shows that Petri nets with time-windows have the ability to realize every transition sequence fired in the net omitting time restrictions. These classes of time-dependent Petri nets show that time alone does not change the power of a Petri net, in fact time may or may not be used to force firing. For Time Petri nets and Timed Petri nets we can say that they are Turing-powerful, and thus more powerful than classic Petri nets, because there is a compulsion to fire at some point in time. By contrast, Petri nets with time-windows have no compulsion to fire, their expressiveness power is less than that of Turing-machines. This book derives from advanced lectures, and the text is supported throughout withexamples and exercises. It issuitable for graduate courses in computer science, mathematics, engineering, and related disciplines, and as a reference for researchers.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Kommunikationsformen freiwilliger unternehmenseigener Transparenz und fundamentale Kapitalmarkteffek

$69.99

Epitranscriptomics

$129.00

Coordination, Cooperation, and Control

$109.99

Biological Timekeeping: Clocks, Rhythms and Behaviour

$299.99

Informations-management fr technische Dienstleistungen

$49.99

Implizite Fhrung im interkulturellen Kontext

$49.99

Handbook of Generalized Gas Dynamics

$39.99

Beginning iOS 3D Unreal Games Development

$39.99

The Endometrium

$39.99

Post-Traumatic Arthritis

$84.99

MultiMedia Modeling

$74.99

Genetic Algorithms in Java Basics

$44.99

Einfhrung in die Struktur der Materie

$49.99

Supercomputing

$54.99

Sudden Death

$89.00

Continuous System Modeling

$84.99

Fundamentals of Geriatric Medicine

$109.99

Agent-based Modeling and Simulation

$109.99

Captain Underpants and the Attack of the Talking Toilets (#2) (Color Edition) (Hardcover)

$7.49

Seismic Exploration for Sandstone Reservoirs

$39.99

Algorithmic Bias: Verzerrungen durch Algorithmen verstehen und verhindern

$19.99

Sustainable Fashion: Consumer Awareness and Education

$99.99

Frhmoderne Hflichkeit

$59.99

Die Elektrotechnik und die elektromotorischen Antriebe

$84.99

Management for the XXI Century

$54.99

Successful Emotions

$54.99

Erste Schritte in der Psychotherapie

$59.99

Blossoming Development of Splines

$37.99

Inkompressible Strmungen um Systeme paralleler Zylinder von elliptischem Querschnitt

$69.99

A Course on Integral Equations

$79.99

Development in Turbulent Times

$59.99

Communication and Architectural Support for Network-Based Parallel Computing

$39.99

Innovations in Rehabilitation Sciences Education

$169.99

Practical Oracle JET

$59.99

The Indian Software Industry

$109.99

Die Nachrichtenjournale tagesthemen und heute journal

$39.99

Physikalisches Praktikum

$84.99

Berichte ber die in den Jahren 19261950 im Wiener Unfallkrankenhaus erzielten Behandlungsergebniss

$59.99

Preventive Maintenance Technology for Asphalt Pavement

$84.99

Erfolgreich Forschen

$34.99