Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems.

The article discusses Colored Petri Nets (CPNs), which combine the mathematical modeling languages known as Petri Nets with a programming language in order to provide a scalable modeling language for use in concurrent systems. Particular focus is given to the core syntactical and semantical construc...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 58; no. 6; pp. 61 - 71
Autores principales:	JENSEN, KURT, KRISTENSEN, LARS M.
Formato:	Artículo
Publicado:	Association for Computing Machinery Jun2015
Materias:	Petri nets Modeling languages (Computer science) Programming languages Computer simulation State-space methods Computer multitasking
Acceso en línea:	Ver este registro en EBSCOhost