Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Petri Net Synthesis [electronic resource] / by Eric Badouel, Luca Bernardinello, Philippe Darondeau.

by Badouel, Eric [author.] | Bernardinello, Luca [author.] | Darondeau, Philippe [author.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Application and Theory of Petri Nets and Concurrency [electronic resource] : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings / edited by Luca Bernardinello, Laure Petrucci.

by Bernardinello, Luca [editor.] | Petrucci, Laure [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available