scientific article
From MaRDI portal
Publication:3823147
zbMath0669.68044MaRDI QIDQ3823147
Rodney R. Howell, Louis E. Rosier
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Deciding a class of path formulas for conflict-free Petri nets ⋮ A solution to the covering problem for 1-bounded conflict-free Petri nets using linear programming ⋮ Communicating processes, scheduling, and the complexity of nontermination ⋮ Model checking using net unfoldings ⋮ A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets
This page was built for publication:
