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

Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005

Volumn , Issue , 2005, Pages 128-135

  Pelayo, Fernando L ^a   Cuartero, Fernando ^a   Valero, Valentin ^a   Pelayo, Maria L ^a   Merayo, Mercedes G ^b  

^a Campus Universitario ^*  (Spain)

^b UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; COMPUTER GRAPHICS; FEATURE EXTRACTION; MATHEMATICAL MODELS; STORAGE ALLOCATION (COMPUTER);

COGNITIVE MODEL; MEMORIZATION PROCESS; MEMORY STRUCTURE; TIMED-ARC PETRI NETS;

PETRI NETS;

EID: 33749061319     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COGINF.2005.1532624     Document Type: Conference Paper

References (18)

1. P. A. Abdulla and A. Nylén. Timed Petri Nets and BQOs. Proc. ICATPN 2001, Lecture Notes in Computer Science, 207(5):53-70, 2001.
2. F. Bowden. Modelling time in Petri nets. In Proc. of Second Australia-Japan Workshop on Stochastic Models, 1996.
3. A. Cerone and A. Maggiolo-Schettini. Time-based expressivity of time petri nets for system specification. Theoretical Computer Science, 216(1-2):1-53, 1999.
4. D. de Frutos, V. Valero, and O. Marroquín. Decidability of properties of timed-arc Petri nets. Proc. of ICATPN 2000, Lecture Notes in Computer Science, 1825:187-206, 2000.
5. W. M. P. V. der Aalst. Interval timed coloured petri nets and their analysis. Lecture Notes in Computer Science, 691:451-472, 1993.
6. H.-M. Hanisch. Analysis of place/transition nets with timed-arcs and its application to batch process control. Application and Theory of Petri Nets, Lecture Notes in Computer Science, 691:282-299, 1993.
7. N. López, M. Núñez, and F. L. Pelayo. Stopa: A stochastic process algebra for the formal representation of cognitive systems. In 3nd IEEE Int. Conf. on Cognitive Informatics, pages 64-73. IEEE Computer Society Press, 2004.
8. P. Merlin. A Study of the Recoverability of Communication Protocols. PhD. Thesis, University of California, 1974.
9. G. A. Petri. Communications with Automata. Technical Report RADC-TR-65-377, New York University, 1966.
10. C. Ramchandani. Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets. PhD. Thesis, Massachusetts Institute of Technology, Cambridge, 1973.
11. J. Sifakis. Use of petri nets for performance evaluation. Proc. of the Third International Symposium IFIP W.G.7.3., Measuring, Modelling and Evaluating Computer Systems. Elsevier Science Publishers, pages 7593, 1977.
12. R. Solso, editor. Mind and brain science in the 21st century. MIT Press, 1999.
13. L. Squire, B. Knowlton, and G. Musen. The structure and organization of memory. Annual Review of Psychology, 44:453-459, 1993.
14. V. Valero, D. de Frutos, and F. Cuartero. On non-decidability of reachability for timed-arc petri nets. In Proc. 8th Workshop on Petri Nets and Performance Models, PNPM'99, pages 188-196, 1999.
15. Y. Wang. On cognitive informatics. In 1st IEEE Int. Conf. on Cognitive Informatics, pages 34-42. IEEE Computer Society Press, 2002.
16. Y. Wang. The Real Time Process Algebra (RTPA). Annals of Software Engineering, 14:235-274, 2002.
17. Y. Wang. Using process algebra to describe human and software behaviors. Brain and Mind, 4:199-213, 2003.
18. Y. Wang and Y. Wang. Cognitive models of the brain. In 1st IEEE Int. Conf. on Cognitive Informatics, pages 259-269. IEEE Computer Society Press, 2002.