Nets with Tokens Which Carry Data

DOI10.1007/978-3-540-73094-1_19zbMath1226.68062OpenAlexW2171697843MaRDI QIDQ3612940

A. W. Roscoe, Joël Ouaknine, Ranko Lazić, Tom Newcomb, James Worrell

Publication date: 11 March 2009

Published in: Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73094-1_19

Mathematics Subject Classification ID

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

Related Items (7)

Unnamed Item ⋮ Undecidability of performance equivalence of Petri nets ⋮ A classification of the expressive power of well-structured transition systems ⋮ WQO dichotomy for 3-graphs ⋮ A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations ⋮ The ω-Regular Post Embedding Problem ⋮ Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture

This page was built for publication: Nets with Tokens Which Carry Data