Matches in SemOpenAlex for { <https://semopenalex.org/work/W1545317004> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1545317004 abstract "The use of generic models in the synthesis of FMS systems, which allows for rapid modelling and analysis, does not ease the verification task difficulty. Even though generic modules can be verified separately, the verification of the interconnections between modules requires the whole model to be considered. A potential solution is to replace the generic modules with their functional abstractions which realise the external functional behaviour of these modules. The number of places and transitions involved in realizing the required functionality is, typically, a fraction of that used to represent complete components. This reduces the complexity of the components of the modelled system, and thus the complexity of the verification model. The verification task can then focus on the correctness of the interfaces, rather then on the internal nature of the components. In this paper, for a class of Petri net models, which can be used to represent the primary components of the AGV based FMS systems, a method that allows one to systematically construct functional abstractions is presented. >" @default.
- W1545317004 created "2016-06-24" @default.
- W1545317004 creator A5003373264 @default.
- W1545317004 date "2002-12-17" @default.
- W1545317004 modified "2023-09-27" @default.
- W1545317004 title "New results in systematic construction of functional abstractions of Petri net models of flexible manufacturing systems" @default.
- W1545317004 cites W1754262902 @default.
- W1545317004 cites W1931313925 @default.
- W1545317004 cites W1952842120 @default.
- W1545317004 cites W1980926994 @default.
- W1545317004 cites W1993281605 @default.
- W1545317004 cites W1997871183 @default.
- W1545317004 cites W2017300403 @default.
- W1545317004 cites W2024035132 @default.
- W1545317004 cites W2028853423 @default.
- W1545317004 cites W2030926579 @default.
- W1545317004 cites W2076749410 @default.
- W1545317004 cites W2082606855 @default.
- W1545317004 cites W2110920108 @default.
- W1545317004 cites W2122586947 @default.
- W1545317004 cites W2144527600 @default.
- W1545317004 cites W2151669009 @default.
- W1545317004 cites W2154634540 @default.
- W1545317004 cites W2166656159 @default.
- W1545317004 cites W2683418019 @default.
- W1545317004 doi "https://doi.org/10.1109/etfa.1994.401985" @default.
- W1545317004 hasPublicationYear "2002" @default.
- W1545317004 type Work @default.
- W1545317004 sameAs 1545317004 @default.
- W1545317004 citedByCount "1" @default.
- W1545317004 crossrefType "proceedings-article" @default.
- W1545317004 hasAuthorship W1545317004A5003373264 @default.
- W1545317004 hasConcept C111498074 @default.
- W1545317004 hasConcept C120314980 @default.
- W1545317004 hasConcept C120665830 @default.
- W1545317004 hasConcept C121332964 @default.
- W1545317004 hasConcept C127413603 @default.
- W1545317004 hasConcept C154945302 @default.
- W1545317004 hasConcept C168167062 @default.
- W1545317004 hasConcept C192209626 @default.
- W1545317004 hasConcept C199360897 @default.
- W1545317004 hasConcept C201995342 @default.
- W1545317004 hasConcept C2777212361 @default.
- W1545317004 hasConcept C2780451532 @default.
- W1545317004 hasConcept C2780801425 @default.
- W1545317004 hasConcept C38677869 @default.
- W1545317004 hasConcept C41008148 @default.
- W1545317004 hasConcept C55439883 @default.
- W1545317004 hasConcept C62460635 @default.
- W1545317004 hasConcept C80444323 @default.
- W1545317004 hasConcept C97355855 @default.
- W1545317004 hasConceptScore W1545317004C111498074 @default.
- W1545317004 hasConceptScore W1545317004C120314980 @default.
- W1545317004 hasConceptScore W1545317004C120665830 @default.
- W1545317004 hasConceptScore W1545317004C121332964 @default.
- W1545317004 hasConceptScore W1545317004C127413603 @default.
- W1545317004 hasConceptScore W1545317004C154945302 @default.
- W1545317004 hasConceptScore W1545317004C168167062 @default.
- W1545317004 hasConceptScore W1545317004C192209626 @default.
- W1545317004 hasConceptScore W1545317004C199360897 @default.
- W1545317004 hasConceptScore W1545317004C201995342 @default.
- W1545317004 hasConceptScore W1545317004C2777212361 @default.
- W1545317004 hasConceptScore W1545317004C2780451532 @default.
- W1545317004 hasConceptScore W1545317004C2780801425 @default.
- W1545317004 hasConceptScore W1545317004C38677869 @default.
- W1545317004 hasConceptScore W1545317004C41008148 @default.
- W1545317004 hasConceptScore W1545317004C55439883 @default.
- W1545317004 hasConceptScore W1545317004C62460635 @default.
- W1545317004 hasConceptScore W1545317004C80444323 @default.
- W1545317004 hasConceptScore W1545317004C97355855 @default.
- W1545317004 hasLocation W15453170041 @default.
- W1545317004 hasOpenAccess W1545317004 @default.
- W1545317004 hasPrimaryLocation W15453170041 @default.
- W1545317004 hasRelatedWork W1501057299 @default.
- W1545317004 hasRelatedWork W1525448987 @default.
- W1545317004 hasRelatedWork W1754262902 @default.
- W1545317004 hasRelatedWork W178244959 @default.
- W1545317004 hasRelatedWork W1817595576 @default.
- W1545317004 hasRelatedWork W1931313925 @default.
- W1545317004 hasRelatedWork W1988322120 @default.
- W1545317004 hasRelatedWork W2029288379 @default.
- W1545317004 hasRelatedWork W2048907892 @default.
- W1545317004 hasRelatedWork W2108082130 @default.
- W1545317004 hasRelatedWork W2116510858 @default.
- W1545317004 hasRelatedWork W2121274618 @default.
- W1545317004 hasRelatedWork W2128091869 @default.
- W1545317004 hasRelatedWork W2128175623 @default.
- W1545317004 hasRelatedWork W2142139605 @default.
- W1545317004 hasRelatedWork W2154119705 @default.
- W1545317004 hasRelatedWork W2154897231 @default.
- W1545317004 hasRelatedWork W2293167046 @default.
- W1545317004 hasRelatedWork W2545267157 @default.
- W1545317004 hasRelatedWork W1963139899 @default.
- W1545317004 isParatext "false" @default.
- W1545317004 isRetracted "false" @default.
- W1545317004 magId "1545317004" @default.
- W1545317004 workType "article" @default.