Proposal of a procedure for automating an industrial process using Petri Nets as a formal tool

Fuente: Redalyc

Salvato in:

Dettagli Bibliografici
Autore principale:	Juan David Contreras
Natura:	Artículo científico
Lingua:	es
Pubblicazione:	Politécnico Colombiano Jaime Isaza Cadavid 2018
Soggetti:	Multidisciplinaria (Ciencias Naturales y Exactas) modeling Petri nets formal methods Automation project
Accesso online:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5 Acceder al recurso 6
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online