Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
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 Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Author 
Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21571-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency VI
Transactions on Petri Nets and Other Models of Concurrency VI
Author 
Jensen, Kurt. editor. Aalst, Wil M. editor. Ajmone Marsan, Marco. editor. Franceschinis, Giuliana. editor. Kleijn, Jetty. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35179-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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: