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...
| Publicado en: | Communications of the ACM Vol. 58; no. 6; pp. 61 - 71 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Jun2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=102962470&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 102962470 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Jun2015 vid: 58 iid: 6 pid: 68 pub: Association for Computing Machinery artinfo: ui: 102962470 10.1145/2663340 ppf: 61 ppct: 10 formats: tig: atl: Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems. aug: au: JENSEN, KURT KRISTENSEN, LARS M. affil: Professor, vice-head, Department of Computer Science of Aarhus University, Denmark Professor, Department of Computing, Mathematics, and Physics, Bergen University College, Norway su: Petri nets Modeling languages (Computer science) Programming languages Computer simulation State-space methods Computer multitasking sug: subj: Petri nets Modeling languages (Computer science) Programming languages Computer simulation State-space methods Computer multitasking ab: 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 constructs of CPNs and to the validation of CPNs' quantitative and qualitative behavioral properties through simulation-based performance analysis. Other topics include state-space exploration and software-tool support for the use of CPNs. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2015 holdings: @attributes: islocal: N |
|---|