Matches in SemOpenAlex for { <https://semopenalex.org/work/W21272893> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- W21272893 abstract "El marco general del trabajoes el analisis de sistemas deeventos discretos modelados medianteredes de Petri, en particularmediante redes lugar/transicion,Se presentan contribuciones endos familias de tecnicas de analisis,las llamadas estructurales y lasbasadas en la generacion del conjunto deestados alcanzables.Dentro de las tecnicas deanalisis estructural, se handesarrollado nuevos resultados enlos siguientes apartados: 1) lautilizacion de objetos estructurales,en particular de lugaresimplicitos y cerrojos; 2) la utilizacionde descripciones lineales delconjunto de estados alcanzables,el establecimiento de laimposibilidad de obtener tales descripcionesen el caso general, y sumejora; 3) el desarrollo de metodosad hoc para subclases de redes,en particular para sistemas deprocesos secuenciales simpleslineales con recursos; 4) el estudiode sistemas derivados dedominios de aplicacion particulares,como sistemas de fabricacionflexible y circuitos asincronos.En el ambito de las tecnicasbasadas en la generacion delespacio de estados, se ha desarrolladoun marco general para laaplicacion de tecnicas de model-checkingsimbolico de formulas delogica temporal de tiempo ramificado,utilizando diagramas dedecisiones binarias como estructurade datos. Asismo dichastecnicas se han aplicado al calculode objetos estructurales, alanalisis cunatitativo y a la sintesisde sistemas. En este ultimopunto, se han derivado tecnicaspara el control de sistemas deeventos discretos, y tecnicas deayuda a la sintesis de circuitosasincronos modelados mediante grafos detransicion de senales." @default.
- W21272893 created "2016-06-24" @default.
- W21272893 creator A5004195072 @default.
- W21272893 date "1999-01-01" @default.
- W21272893 modified "2023-09-26" @default.
- W21272893 title "Contributions to the structural and symbolic analysis of place/transition nets, with applications to flexible manufacturing systems and asynchronous circuits" @default.
- W21272893 hasPublicationYear "1999" @default.
- W21272893 type Work @default.
- W21272893 sameAs 21272893 @default.
- W21272893 citedByCount "5" @default.
- W21272893 countsByYear W212728932013 @default.
- W21272893 countsByYear W212728932014 @default.
- W21272893 countsByYear W212728932018 @default.
- W21272893 crossrefType "journal-article" @default.
- W21272893 hasAuthorship W21272893A5004195072 @default.
- W21272893 hasConcept C138885662 @default.
- W21272893 hasConcept C15708023 @default.
- W21272893 hasConcept C41008148 @default.
- W21272893 hasConceptScore W21272893C138885662 @default.
- W21272893 hasConceptScore W21272893C15708023 @default.
- W21272893 hasConceptScore W21272893C41008148 @default.
- W21272893 hasLocation W212728931 @default.
- W21272893 hasOpenAccess W21272893 @default.
- W21272893 hasPrimaryLocation W212728931 @default.
- W21272893 hasRelatedWork W1587663028 @default.
- W21272893 hasRelatedWork W1996109622 @default.
- W21272893 hasRelatedWork W2003070900 @default.
- W21272893 hasRelatedWork W2037457229 @default.
- W21272893 hasRelatedWork W2053982295 @default.
- W21272893 hasRelatedWork W2094370340 @default.
- W21272893 hasRelatedWork W2108963340 @default.
- W21272893 hasRelatedWork W2160792115 @default.
- W21272893 hasRelatedWork W2538443008 @default.
- W21272893 hasRelatedWork W2603068814 @default.
- W21272893 hasRelatedWork W2899347012 @default.
- W21272893 isParatext "false" @default.
- W21272893 isRetracted "false" @default.
- W21272893 magId "21272893" @default.
- W21272893 workType "article" @default.