Time and Petri Nets

• Κύριος συγγραφέας: Popova-Zeugmann, Louchka (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Θέματα: Computer science.; Software engineering.; Computers.; Bioinformatics.; Systems biology.; Computer Science.; Computation by Abstract Devices.; Software Engineering.; Computational Biology/Bioinformatics.; Systems Biology.

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 i...

Πίνακας περιεχομένων:

• Chap. 1 - The Classic Petri Net
• Chap. 2 - Time Petri Nets
• Chap. 3 - Timed Petri Nets
• Chap. 4 - Petri Nets with Time Windows
• App. A - Time Petri Nets
• Bibliography.