1 search results - page 1 / 1 » dcfs 2011 |
DCFS
2011
12 years 4 months ago
2011
We prove Kleene theorems for two subclasses of labelled product systems which are inspired from well-studied subclasses of 1bounded Petri nets. For product T-systems we define a c...