Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
Author 
David, René. author. Alla, Hassane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10669-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
Author 
David, René. author. Alla, Hassane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138130
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools
Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools
Author 
Hrúz, Branislav. author. Zhou, MengChu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-877-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
Author 
Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-32870-4
Format: 
Availability 
Online Library~1
Available:
Copies: