Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109257065> ?p ?o ?g. }
- W2109257065 abstract "This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such a way that a circuit implementation is always guaranteed. Moreover, a set of transformations is presented for the subclass of Free-Choice Petri nets that enables the exploration of different solutions. All transformations preserve the property of free-choiceness, thus enabling the use of structural methods for the synthesis of asynchronous circuits. Preliminary experimental results indicate that the quality of the circuits is comparable to that obtained by methods that require an exhaustive enumeration of the state space. This novel synthesis method opens the door to the synthesis of large control specifications generated from hardware description languages." @default.
- W2109257065 created "2016-06-24" @default.
- W2109257065 creator A5030704985 @default.
- W2109257065 creator A5031451250 @default.
- W2109257065 creator A5065500712 @default.
- W2109257065 date "2002-11-13" @default.
- W2109257065 modified "2023-09-27" @default.
- W2109257065 title "A structural encoding technique for the synthesis of asynchronous circuits" @default.
- W2109257065 cites W1491226430 @default.
- W2109257065 cites W1502716092 @default.
- W2109257065 cites W1513324186 @default.
- W2109257065 cites W1522474746 @default.
- W2109257065 cites W1529845771 @default.
- W2109257065 cites W1534926211 @default.
- W2109257065 cites W1535262937 @default.
- W2109257065 cites W1551214605 @default.
- W2109257065 cites W1570043190 @default.
- W2109257065 cites W1585465727 @default.
- W2109257065 cites W1634760171 @default.
- W2109257065 cites W171683481 @default.
- W2109257065 cites W1996109622 @default.
- W2109257065 cites W202102007 @default.
- W2109257065 cites W2030913109 @default.
- W2109257065 cites W2044146671 @default.
- W2109257065 cites W2045981349 @default.
- W2109257065 cites W2105847616 @default.
- W2109257065 cites W2106929737 @default.
- W2109257065 cites W2122233178 @default.
- W2109257065 cites W2125965694 @default.
- W2109257065 cites W2135669900 @default.
- W2109257065 cites W2137865376 @default.
- W2109257065 cites W2139153122 @default.
- W2109257065 cites W2148001648 @default.
- W2109257065 cites W2148539393 @default.
- W2109257065 cites W2156956883 @default.
- W2109257065 cites W2160823654 @default.
- W2109257065 cites W2161816828 @default.
- W2109257065 cites W2167188059 @default.
- W2109257065 cites W2991122467 @default.
- W2109257065 cites W3210523556 @default.
- W2109257065 cites W2183118591 @default.
- W2109257065 doi "https://doi.org/10.1109/csd.2001.981773" @default.
- W2109257065 hasPublicationYear "2002" @default.
- W2109257065 type Work @default.
- W2109257065 sameAs 2109257065 @default.
- W2109257065 citedByCount "19" @default.
- W2109257065 countsByYear W21092570652012 @default.
- W2109257065 countsByYear W21092570652021 @default.
- W2109257065 crossrefType "proceedings-article" @default.
- W2109257065 hasAuthorship W2109257065A5030704985 @default.
- W2109257065 hasAuthorship W2109257065A5031451250 @default.
- W2109257065 hasAuthorship W2109257065A5065500712 @default.
- W2109257065 hasBestOaLocation W21092570652 @default.
- W2109257065 hasConcept C105795698 @default.
- W2109257065 hasConcept C11413529 @default.
- W2109257065 hasConcept C119599485 @default.
- W2109257065 hasConcept C125411270 @default.
- W2109257065 hasConcept C127413603 @default.
- W2109257065 hasConcept C134146338 @default.
- W2109257065 hasConcept C134652429 @default.
- W2109257065 hasConcept C137059387 @default.
- W2109257065 hasConcept C151319957 @default.
- W2109257065 hasConcept C154945302 @default.
- W2109257065 hasConcept C177264268 @default.
- W2109257065 hasConcept C199360897 @default.
- W2109257065 hasConcept C31258907 @default.
- W2109257065 hasConcept C33923547 @default.
- W2109257065 hasConcept C38677869 @default.
- W2109257065 hasConcept C41008148 @default.
- W2109257065 hasConcept C42196554 @default.
- W2109257065 hasConcept C72434380 @default.
- W2109257065 hasConcept C76155785 @default.
- W2109257065 hasConcept C80444323 @default.
- W2109257065 hasConcept C87695204 @default.
- W2109257065 hasConceptScore W2109257065C105795698 @default.
- W2109257065 hasConceptScore W2109257065C11413529 @default.
- W2109257065 hasConceptScore W2109257065C119599485 @default.
- W2109257065 hasConceptScore W2109257065C125411270 @default.
- W2109257065 hasConceptScore W2109257065C127413603 @default.
- W2109257065 hasConceptScore W2109257065C134146338 @default.
- W2109257065 hasConceptScore W2109257065C134652429 @default.
- W2109257065 hasConceptScore W2109257065C137059387 @default.
- W2109257065 hasConceptScore W2109257065C151319957 @default.
- W2109257065 hasConceptScore W2109257065C154945302 @default.
- W2109257065 hasConceptScore W2109257065C177264268 @default.
- W2109257065 hasConceptScore W2109257065C199360897 @default.
- W2109257065 hasConceptScore W2109257065C31258907 @default.
- W2109257065 hasConceptScore W2109257065C33923547 @default.
- W2109257065 hasConceptScore W2109257065C38677869 @default.
- W2109257065 hasConceptScore W2109257065C41008148 @default.
- W2109257065 hasConceptScore W2109257065C42196554 @default.
- W2109257065 hasConceptScore W2109257065C72434380 @default.
- W2109257065 hasConceptScore W2109257065C76155785 @default.
- W2109257065 hasConceptScore W2109257065C80444323 @default.
- W2109257065 hasConceptScore W2109257065C87695204 @default.
- W2109257065 hasLocation W21092570651 @default.
- W2109257065 hasLocation W21092570652 @default.
- W2109257065 hasOpenAccess W2109257065 @default.
- W2109257065 hasPrimaryLocation W21092570651 @default.
- W2109257065 hasRelatedWork W1491226430 @default.