scientific article

From MaRDI portal

Revision as of 21:42, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3045261

Jump to:navigation, search

zbMath1047.68086MaRDI QIDQ3045261

Li Jiao, Weiming Lu, To-yat Cheung

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2360/23600203.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

live characterization Petri net homogeneous siphon Asymmetric choice net liveness monotonicity

Mathematics Subject Classification ID

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

Related Items (2)

On liveness and boundedness of asymmetric choice nets ⋮ Liveness enforcement for production systems modeled by time Petri nets

This page was built for publication:

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