66 search results - page 14 / 14 » Diagnosability of bounded Petri nets |
WRLA
2010
13 years 5 months ago
2010
Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...