Searching for "Cyclic Petri net reachability sets are semi-linear effectively constructible." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Cyclic Petri Net Reachability Sets are Semi-linear . . .
by Z. Bouziane, Zakaria Bouziane, A. Finkel — 1997 — In Proc. 2nd Int. Workshop on Verification of Infinite State Systems (INFINITY’97
…://www.elsevier.nl/locate/entcs/volume9.html 10 pages Cyclic Petri Net Reachability Sets are Semi-linear Effectively Constructible Zakaria…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB