Modelling and Verification of Vending Machine Systems by Using Timed Petri Nets: Fid-Bau Portal

Modelling and Verification of Vending Machine Systems by Using Timed Petri Nets

Huang, Y.S. / Row, T.C.

Zugriff

Zugriff über TIB

Verfügbarkeit in meiner Bibliothek prüfen

Bestellung bei Subito €

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Modelling and Verification of Vending Machine Systems by Using Timed Petri Nets

Huang, Y.S. / Row, T.C.

Modelling and Verification of Vending Machine Systems by Using Timed Petri Nets

Huang, Y.S. / Row, T.C.

Zugriff

Zugriff über TIB

Verfügbarkeit in meiner Bibliothek prüfen

Bestellung bei Subito €

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Dokumentinformationen

Titel:

Modelling and Verification of Vending Machine Systems by Using Timed Petri Nets

Beteiligte:

Huang, Y.S. (Autor:in) / Row, T.C. (Autor:in) / Zeng, D.

Erschienen in:

Materials, Mechatronics and Automation ; 1668-1673

KEY ENGINEERING MATERIALS ; 467/469

Erscheinungsdatum:

01.01.2011

Format / Umfang:

6 pages

ISSN:

1013-9826

Medientyp:

Aufsatz (Zeitschrift)

Format:

Sprache:

Englisch

Klassifikation:

DDC: 620.11

Ferreira, Cláudia / Neves, Luís Canhoto | Taylor & Francis Verlag | 2021

Timed coloured petri nets and project management applications

Bevilacqua M. / Ciarapica F. E. / Mazzuto G. | BASE | 2017

Freier Zugriff

System Modelling with Petri Nets

Bobbio, Andrea | Springer Verlag | 1990

On representing signalized urban areas by means of deterministic-timed Petri nets

Di Febbraro, A. / Giglio, D. | IEEE | 2004

Analysis of timed petri nets for reachability in construction applications/Petri laiko tinklų pasiekiamumo taikymo statyboje analizė

Khaled Nassar / Albert Casavant | DOAJ | 2008

Freier Zugriff

Nach oben