How does the memory work? By timed-arc Petri nets

In this paper we use the graphical formalism timed-arc Petri nets to specify cognitive systems. In addition to the usual characteristics of this formalism, this timed extension of PNs features the possibility of capturing the facts of enabling/disabling a transition as a consequence of the time elap...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Pelayo, F.L., Cuartero, F., Valero, V., Pelayo, M.L., Merayo, M.G.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algebra Cognitive informatics Computer languages Concurrent computing Delay systems Formal specifications Formal verification Natural languages Petri nets Software design
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!