A note on colored Petri nets

From MaRDI portal

Publication:1146521

Jump to:navigation, search

DOI10.1016/0020-0190(80)90032-0zbMath0447.68062OpenAlexW1970640201MaRDI QIDQ1146521

James L. Peterson

Publication date: 1980

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(80)90032-0

zbMATH Keywords

Turing machines parallelism Petri nets concurrency colored tokens firing rule

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Model checking Petri nets with names using data-centric dynamic systems ⋮ Universality in Infinite Petri Nets ⋮ An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets

Cites Work

Unnamed Item

This page was built for publication: A note on colored Petri nets

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1146521&oldid=13202241"