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

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Juan David Contreras
Format:	Artículo científico
Sprache:	es
Veröffentlicht:	Politécnico Colombiano Jaime Isaza Cadavid 2018
Schlagworte:	Multidisciplinaria (Ciencias Naturales y Exactas) modeling Petri nets formal methods Automation project
Online-Zugang:	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:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online