Search Results for Petri nets.

113 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 10

000000000000DEFAULTTR

Stochastic Petri Nets for Wireless Networks

Yazar

Lei, Lei. author.

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

Format:

Electronic Resources

Alıntı:

Stochastic Petri Nets for Wireless Networks Lei, Lei. author.

Coloured petri nets : modelling and validation of concurrent systems

Yazar

Jensen, Kurt

Format:

Kitap

Alıntı:

Coloured petri nets : modelling and validation of concurrent systems / Jensen, Kurt

Transactions on Petri Nets and Other Models of Concurrency XII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-55862-1

Format:

Electronic Resources

Alıntı:

Transactions on Petri Nets and Other Models of Concurrency XII Koutny, Maciej. editor.

Transactions on Petri Nets and Other Models of Concurrency XIV

Yazar

Koutny, Maciej. editor.

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

Format:

Electronic Resources

Alıntı:

Transactions on Petri Nets and Other Models of Concurrency XIV Koutny, Maciej. editor.

Transactions on Petri Nets and Other Models of Concurrency XIII

Yazar

Koutny, Maciej. editor.

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

Format:

Electronic Resources

Alıntı:

Transactions on Petri Nets and Other Models of Concurrency XIII Koutny, Maciej. editor.

Understanding petri nets : modeling techniques, analysis methods, case studies

Yazar

Reisig, Wolfgang.

Format:

Kitap

Alıntı:

Understanding petri nets : modeling techniques, analysis methods, case studies / Reisig, Wolfgang.

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Yazar

Gorrieri, Roberto. author.

https://doi.org/10.1007/978-3-319-55559-1

Format:

Electronic Resources

Alıntı:

Process Algebras for Petri Nets The Alphabetization of Distributed Systems / Gorrieri, Roberto

Transactions on Petri Nets and Other Models of Concurrency X

Yazar

Koutny, Maciej. editor.

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

Format:

Electronic Resources

Alıntı:

Transactions on Petri Nets and Other Models of Concurrency X Koutny, Maciej. editor.

Transactions on Petri Nets and Other Models of Concurrency IX

Yazar

Koutny, Maciej. editor.

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

Format:

Electronic Resources

Alıntı:

Transactions on Petri Nets and Other Models of Concurrency IX Koutny, Maciej. editor.

10.

Transactions on Petri Nets and Other Models of Concurrency XI

Yazar

Koutny, Maciej. editor.

http://dx.doi.org/10.1007/978-3-662-53401-4

Format:

Electronic Resources

Alıntı:

Transactions on Petri Nets and Other Models of Concurrency XI Koutny, Maciej. editor.

11.

Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets

Yazar

De La Mota, Idalia Flores. author.

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

Format:

Electronic Resources

Alıntı:

Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets / De La Mota, Idalia

12.

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems

Yazar

Moutinho, Filipe de Carvalho. author.

http://dx.doi.org/10.1007/978-3-319-20822-0

Format:

Electronic Resources

Alıntı:

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous

Tümünü Seç

1 2 3 4 5 .. 10

113 sonuç bulundu

	{displayName}	{count}
{error}