Matches in SemOpenAlex for { <https://semopenalex.org/work/W2147168686> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2147168686 endingPage "260" @default.
- W2147168686 startingPage "257" @default.
- W2147168686 abstract "We describe a case study of the design and verification of a parallel and pipe-lined image processing unit based on an extended Petri net, which is called a Logical Colored Petri net (LCPN). This is suitable for Flexible-Manufacturing System (FMS) modeling and discussion of structural properties. LCPN is another family of colored p/t-net(CPN) with the addition of the following features: integer value assignment of marks, representation of firing conditions as marks' value based formulae, and coupling of output procedures with transition firing. Therefore, to study the behavior of a system modeled with this net, we provide a means of searching the reachability tree for markings." @default.
- W2147168686 created "2016-06-24" @default.
- W2147168686 creator A5035729197 @default.
- W2147168686 creator A5044758053 @default.
- W2147168686 creator A5047236261 @default.
- W2147168686 creator A5058596471 @default.
- W2147168686 date "2007-08-29" @default.
- W2147168686 modified "2023-09-27" @default.
- W2147168686 title "Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net" @default.
- W2147168686 cites W1996109622 @default.
- W2147168686 cites W2157597221 @default.
- W2147168686 cites W2174637891 @default.
- W2147168686 cites W2738310772 @default.
- W2147168686 cites W2772013175 @default.
- W2147168686 cites W86767661 @default.
- W2147168686 doi "https://doi.org/10.1109/dsd.2007.40" @default.
- W2147168686 hasPublicationYear "2007" @default.
- W2147168686 type Work @default.
- W2147168686 sameAs 2147168686 @default.
- W2147168686 citedByCount "0" @default.
- W2147168686 crossrefType "proceedings-article" @default.
- W2147168686 hasAuthorship W2147168686A5035729197 @default.
- W2147168686 hasAuthorship W2147168686A5044758053 @default.
- W2147168686 hasAuthorship W2147168686A5047236261 @default.
- W2147168686 hasAuthorship W2147168686A5058596471 @default.
- W2147168686 hasConcept C113174947 @default.
- W2147168686 hasConcept C11413529 @default.
- W2147168686 hasConcept C115961682 @default.
- W2147168686 hasConcept C134306372 @default.
- W2147168686 hasConcept C136643341 @default.
- W2147168686 hasConcept C14166107 @default.
- W2147168686 hasConcept C154945302 @default.
- W2147168686 hasConcept C17744445 @default.
- W2147168686 hasConcept C199360897 @default.
- W2147168686 hasConcept C199539241 @default.
- W2147168686 hasConcept C2524010 @default.
- W2147168686 hasConcept C2776359362 @default.
- W2147168686 hasConcept C33923547 @default.
- W2147168686 hasConcept C38677869 @default.
- W2147168686 hasConcept C41008148 @default.
- W2147168686 hasConcept C43521106 @default.
- W2147168686 hasConcept C79403827 @default.
- W2147168686 hasConcept C80444323 @default.
- W2147168686 hasConcept C94625758 @default.
- W2147168686 hasConceptScore W2147168686C113174947 @default.
- W2147168686 hasConceptScore W2147168686C11413529 @default.
- W2147168686 hasConceptScore W2147168686C115961682 @default.
- W2147168686 hasConceptScore W2147168686C134306372 @default.
- W2147168686 hasConceptScore W2147168686C136643341 @default.
- W2147168686 hasConceptScore W2147168686C14166107 @default.
- W2147168686 hasConceptScore W2147168686C154945302 @default.
- W2147168686 hasConceptScore W2147168686C17744445 @default.
- W2147168686 hasConceptScore W2147168686C199360897 @default.
- W2147168686 hasConceptScore W2147168686C199539241 @default.
- W2147168686 hasConceptScore W2147168686C2524010 @default.
- W2147168686 hasConceptScore W2147168686C2776359362 @default.
- W2147168686 hasConceptScore W2147168686C33923547 @default.
- W2147168686 hasConceptScore W2147168686C38677869 @default.
- W2147168686 hasConceptScore W2147168686C41008148 @default.
- W2147168686 hasConceptScore W2147168686C43521106 @default.
- W2147168686 hasConceptScore W2147168686C79403827 @default.
- W2147168686 hasConceptScore W2147168686C80444323 @default.
- W2147168686 hasConceptScore W2147168686C94625758 @default.
- W2147168686 hasLocation W21471686861 @default.
- W2147168686 hasOpenAccess W2147168686 @default.
- W2147168686 hasPrimaryLocation W21471686861 @default.
- W2147168686 hasRelatedWork W127631718 @default.
- W2147168686 hasRelatedWork W1551903405 @default.
- W2147168686 hasRelatedWork W1567743911 @default.
- W2147168686 hasRelatedWork W1978605591 @default.
- W2147168686 hasRelatedWork W2059533460 @default.
- W2147168686 hasRelatedWork W2072857209 @default.
- W2147168686 hasRelatedWork W2089817392 @default.
- W2147168686 hasRelatedWork W2095648591 @default.
- W2147168686 hasRelatedWork W2099157033 @default.
- W2147168686 hasRelatedWork W2103390669 @default.
- W2147168686 hasRelatedWork W2136709541 @default.
- W2147168686 hasRelatedWork W2148226550 @default.
- W2147168686 hasRelatedWork W2154778372 @default.
- W2147168686 hasRelatedWork W2352987070 @default.
- W2147168686 hasRelatedWork W2356105471 @default.
- W2147168686 hasRelatedWork W2368724300 @default.
- W2147168686 hasRelatedWork W2531992297 @default.
- W2147168686 hasRelatedWork W2613763358 @default.
- W2147168686 hasRelatedWork W2744333953 @default.
- W2147168686 hasRelatedWork W3030342178 @default.
- W2147168686 isParatext "false" @default.
- W2147168686 isRetracted "false" @default.
- W2147168686 magId "2147168686" @default.
- W2147168686 workType "article" @default.