Search Results for Petri nets.

1.

Time and Petri Nets

Author

Popova-Zeugmann, Louchka. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335059.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41115-1

Format:

Availability

Online Library~1

Available:
Copies:

2.

Stochastic Petri Nets for Wireless Networks

Author

Lei, Lei. author. Lin, Chuang. author. Zhong, Zhangdui. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518663.1)

Electronic Access

https://doi.org/10.1007/978-3-319-16883-8

Format:

Availability

Online Library~1

Available:
Copies:

3.

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:

4.

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:

5.

Applications and theory of Petri nets 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings

Author

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (29th : 2008 : Xi'an Shi, China) Hee, Kees Max van, 1946- Valk, R. (Rüdiger) Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470611647

Format:

Availability

Online Library~1

Available:
Copies:

6.

Transactions on Petri Nets and Other Models of Concurrency XIV

Author

Koutny, Maciej. editor. Pomello, Lucia. editor. Kristensen, Lars Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-60651-3

Format:

Availability

Online Library~1

Available:
Copies:

7.

Transactions on Petri Nets and Other Models of Concurrency XIII

Author

Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58381-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

Transactions on Petri Nets and Other Models of Concurrency X

Author

Koutny, Maciej. editor. Desel, Jörg. editor. Haddad, Serge. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519204.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48650-4

Format:

Availability

Online Library~1

Available:
Copies:

9.

Transactions on Petri Nets and Other Models of Concurrency IX

Author

Koutny, Maciej. editor. Haddad, Serge. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45730-6

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Author

Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520949.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33620-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

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:

12.

Cover image for Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Author

Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91268-4

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Author

Devillers, Raymond. editor. Valmari, Antti. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519194.1)

Electronic Access

https://doi.org/10.1007/978-3-319-19488-2

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

Author

Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-07734-5

Format:

Availability

Online Library~1

Available:
Copies:

15.

Transactions on Petri Nets and Other Models of Concurrency VII

Author

Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.

Preferred Shelf Number

ONLINE(334545.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38143-0

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Author

Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334651.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38697-8

Format:

Availability

Online Library~1

Available:
Copies:

17.

Transactions on Petri Nets and Other Models of Concurrency VIII

Author

Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334949.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40465-8

Format:

Availability

Online Library~1

Available:
Copies:

18.

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

Author

Reisig, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333688.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33278-4

Format:

Availability

Online Library~1

Available:
Copies:

19.

Transactions on Petri Nets and Other Models of Concurrency V

Author

Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29072-5

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Author

Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31131-4

Format:

Availability

Online Library~1

Available:
Copies:

21.

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:

22.

Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

Author

Kristensen, Lars M. editor. Petrucci, Laure. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21834-7

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings

Author

Lilius, Johan. editor. Penczek, Wojciech. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13675-7

Format:

Availability

Online Library~1

Available:
Copies:

24.

Transactions on Petri Nets and Other Models of Concurrency IV

Author

Jensen, Kurt. editor. Donatelli, Susanna. editor. Koutny, Maciej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-18222-8

Format:

Availability

Online Library~1

Available:
Copies:

25.

System modeling and control with resource-oriented Petri nets

Author

Wu, Naiqi. Zhou, MengChu.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

26.

Coloured Petri Nets Modelling and Validation of Concurrent Systems

Author

Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b95112

Format:

Availability

Online Library~1

Available:
Copies:

27.

Transactions on Petri Nets and Other Models of Concurrency III

Author

Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04856-2

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

Author

Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00899-3

Format:

Availability

Online Library~1

Available:
Copies:

29.

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

Author

Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02424-5

Format:

Availability

Online Library~1

Available:
Copies:

30.

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

Author

Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68746-7

Format:

Availability

Online Library~1

Available:
Copies:

31.

Transactions on Petri Nets and Other Models of Concurrency I

Author

Jensen, Kurt. editor. Aalst, Wil M. P. editor. Billington, Jonathan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89287-8

Format:

Availability

Online Library~1

Available:
Copies:

32.

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Author

Yoeli, Michael, 1917- Kol, Rakefet.

Preferred Shelf Number

ONLINE

Electronic Access

Available by subscription from Safari Books Online
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html
John Wiley http://dx.doi.org/10.1002/9780470253410
Volltext http://proquest.tech.safaribooksonline.de/9780471704492

Format:

Availability

Online Library~1

Available:
Copies:

33.

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:

34.

Cover image for Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Author

Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73094-1

Format:

Availability

Online Library~1

Available:
Copies:

35.

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:

36.

Cover image for Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Author

Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11767589

Format:

Availability

Online Library~1

Available:
Copies:

37.

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

Author

Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136988

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

Author

Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.

Preferred Shelf Number

XX(520586.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34214-1

Format:

Availability

Online Library~1

Available:
Copies:

39.

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Author

Gianola, Alessandro. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520722.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42746-6

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Author

Huisman, Marieke. editor. Ravara, António. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520993.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35355-0

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings

Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings

Author

Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521122.1)

Electronic Access

https://doi.org/10.1007/978-3-031-41620-0

Format:

Availability

Online Library~1

Available:
Copies:

42.

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

Author

Dubois, Catherine. editor. San Pietro, Pierluigi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520888.1)

Electronic Access

https://doi.org/10.1007/978-3-031-27534-0

Format:

Availability

Online Library~1

Available:
Copies:

43.

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Author

Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520889.1)

Electronic Access

https://doi.org/10.1007/978-3-031-27481-7

Format:

Availability

Online Library~1

Available:
Copies:

44.

Carl Adam Petri Life and Science

Author

Smith, Einar. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518699.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48093-9

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

Author

Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519146.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46823-4

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers

Author

Obaidat, Mohammad S. editor. Ören, Tuncer. editor. Kacprzyk, Janusz. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518435.1)

Electronic Access

https://doi.org/10.1007/978-3-319-26470-7

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

Author

Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519188.1)

Electronic Access

https://doi.org/10.1007/978-3-319-15702-3

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

Author

Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519259.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21145-9

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III

Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III

Author

Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519034.1)

Electronic Access

https://doi.org/10.1007/978-3-319-22053-6

Format:

Availability

Online Library~1

Available:
Copies:

50.

Handbook of finite state based models and applications

Author

Wang, Jiacun, editor of compilation.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

51.

Optimal supervisory control of automated manufacturing systems

Author

Chen, Yufeng, author. Li, ZhiWu, 1967- author.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

52.

Handbook of dynamic system modeling

Author

Fishwick, Paul A.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}