113 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Göbel, Susanne. author.
Format:
Electronic Resources
Alıntı:
A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of
Yazar
Devillers, Raymond. editor.
Format:
Electronic Resources
Alıntı:
Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015
Yazar
Kordon, Fabrice. editor.
Format:
Electronic Resources
Alıntı:
Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016
Yazar
Khomenko, Victor. editor.
Format:
Electronic Resources
Alıntı:
Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018
Yazar
Ciardo, Gianfranco. editor.
Format:
Electronic Resources
Alıntı:
Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014
Yazar
van der Aalst, Wil. editor.
Format:
Electronic Resources
Alıntı:
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017
Yazar
Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457
Format:
Electronic Resources
Alıntı:
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019
Yazar
Aalst, Wil van der.
Format:
Kitap
Alıntı:
Modeling business processes : a petri net-oriented approach / Aalst, Wil van der.
Yazar
Badouel, Eric. author.
Format:
Electronic Resources
Alıntı:
Petri Net Synthesis Badouel, Eric. author.
Yazar
Thomas, Nigel. editor.
Format:
Electronic Resources
Alıntı:
algorithms for stochastic systems, including Markov processes, queueing networks, stochastic Petri nets
Yazar
Campos, Javier. editor.
Format:
Electronic Resources
Alıntı:
and applications; tools; petri nets, process algebra and fault trees; applications; and queuing
Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of
113 sonuç bulundu
Arama Sonuçlarını Sınırlandır