Zobrazit minimální záznam

dc.contributor.authorSchäfer, Mark
dc.contributor.authorVogler, Walter
dc.contributor.authorJančar, Petr
dc.date.accessioned2006-10-04T07:46:54Z
dc.date.available2006-10-04T07:46:54Z
dc.date.issued2005
dc.identifier.citationApplications and theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings. 2005, p. 365-384. Lecture notes in computer science, vol. 3536.en
dc.identifier.isbn978-3-540-26301-2
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/10084/56804
dc.description.abstractSTGs give a formalism for the description of asynchronous circuits based on Petri nets. To overcome the state explosion problem one may encounter during circuit synthesis, a nondeterministic algorithm for decomposing STGs was suggested by Chu and improved by one of the present authors. To find the best possible result the algorithm might produce, it would be important to know to what extent nondeterminism influences the result, i.e. to what extent the algorithm is determinate. The result of the algorithm clearly depends on the partition of output signals that has to be chosen initially. In general, it also depends on the order of computation steps. We prove that for live marked graphs — a subclass of Petri nets of definite practical importance in the area of circuit design — the decomposition result depends only on the signal partition. In the proof, we also characterise redundant places in these marked graphs as shortcut places; this easy-to-apply graph-theoretic characterisation is of independent interest.en
dc.language.isoenen
dc.publisherSpringeren
dc.relation.ispartofseriesApplications and theory of Petri nets 2005 : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedingsen
dc.relation.urihttp://dx.doi.org/10.1007/11494744_21en
dc.titleDeterminate STG decomposition of marked graphsen
dc.typearticleen
dc.identifier.locationNení ve fondu ÚKen
dc.identifier.doi10.1007/11494744_21
dc.identifier.wos000230367400021


Soubory tohoto záznamu

SouboryVelikostFormátZobrazit

K tomuto záznamu nejsou připojeny žádné soubory.

Tento záznam se objevuje v následujících kolekcích

Zobrazit minimální záznam