Search Results for Petri nets.

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:

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:

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:

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:

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:

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:

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:

	{displayName}	{count}
{error}