Aarhus University Seal / Aarhus Universitets segl

Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

DOI

  • Kurt Jensen
  • Lars M. Kristensen, Department of Computing, Mathematics, and Physics at Bergen University College, Norge
OriginalsprogEngelsk
TidsskriftCommunications of the A C M
Vol/bind58
Nummer6
Sider (fra-til)61-70
Antal sider10
ISSN0001-0782
DOI
StatusUdgivet - 2015

Se relationer på Aarhus Universitet Citationsformater

ID: 87223698