Matches in SemOpenAlex for { <https://semopenalex.org/work/W2117417419> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2117417419 abstract "The presented software development process is based on extended timestamp nets (Petri net with an underlying time concept) and a logic of actions which allows us to specify processes. By means of an example, the phases of the development process are discussed and the most important terms of the theory are explained. Since we can do direct and indirect proofing in the logic, we verify the developed controller with respect to process-like specifications. Moreover, situation-like specifications can be tested. In this way, we put the machine virtually into operation." @default.
- W2117417419 created "2016-06-24" @default.
- W2117417419 creator A5034926690 @default.
- W2117417419 date "2002-11-13" @default.
- W2117417419 modified "2023-09-25" @default.
- W2117417419 title "Developing software controllers with Petri nets and a logic of actions" @default.
- W2117417419 cites W1997422892 @default.
- W2117417419 cites W2078984959 @default.
- W2117417419 cites W84477575 @default.
- W2117417419 doi "https://doi.org/10.1109/robot.2001.932530" @default.
- W2117417419 hasPublicationYear "2002" @default.
- W2117417419 type Work @default.
- W2117417419 sameAs 2117417419 @default.
- W2117417419 citedByCount "6" @default.
- W2117417419 countsByYear W21174174192017 @default.
- W2117417419 countsByYear W21174174192020 @default.
- W2117417419 crossrefType "proceedings-article" @default.
- W2117417419 hasAuthorship W2117417419A5034926690 @default.
- W2117417419 hasConcept C113954288 @default.
- W2117417419 hasConcept C115903868 @default.
- W2117417419 hasConcept C136155141 @default.
- W2117417419 hasConcept C180152950 @default.
- W2117417419 hasConcept C199360897 @default.
- W2117417419 hasConcept C203479927 @default.
- W2117417419 hasConcept C25016198 @default.
- W2117417419 hasConcept C2777904410 @default.
- W2117417419 hasConcept C38677869 @default.
- W2117417419 hasConcept C41008148 @default.
- W2117417419 hasConcept C529173508 @default.
- W2117417419 hasConcept C6557445 @default.
- W2117417419 hasConcept C79403827 @default.
- W2117417419 hasConcept C80444323 @default.
- W2117417419 hasConcept C86803240 @default.
- W2117417419 hasConcept C98045186 @default.
- W2117417419 hasConceptScore W2117417419C113954288 @default.
- W2117417419 hasConceptScore W2117417419C115903868 @default.
- W2117417419 hasConceptScore W2117417419C136155141 @default.
- W2117417419 hasConceptScore W2117417419C180152950 @default.
- W2117417419 hasConceptScore W2117417419C199360897 @default.
- W2117417419 hasConceptScore W2117417419C203479927 @default.
- W2117417419 hasConceptScore W2117417419C25016198 @default.
- W2117417419 hasConceptScore W2117417419C2777904410 @default.
- W2117417419 hasConceptScore W2117417419C38677869 @default.
- W2117417419 hasConceptScore W2117417419C41008148 @default.
- W2117417419 hasConceptScore W2117417419C529173508 @default.
- W2117417419 hasConceptScore W2117417419C6557445 @default.
- W2117417419 hasConceptScore W2117417419C79403827 @default.
- W2117417419 hasConceptScore W2117417419C80444323 @default.
- W2117417419 hasConceptScore W2117417419C86803240 @default.
- W2117417419 hasConceptScore W2117417419C98045186 @default.
- W2117417419 hasLocation W21174174191 @default.
- W2117417419 hasOpenAccess W2117417419 @default.
- W2117417419 hasPrimaryLocation W21174174191 @default.
- W2117417419 hasRelatedWork W1484386590 @default.
- W2117417419 hasRelatedWork W1631250586 @default.
- W2117417419 hasRelatedWork W1964742737 @default.
- W2117417419 hasRelatedWork W1966315907 @default.
- W2117417419 hasRelatedWork W1967223343 @default.
- W2117417419 hasRelatedWork W1988542085 @default.
- W2117417419 hasRelatedWork W2067419446 @default.
- W2117417419 hasRelatedWork W2100083029 @default.
- W2117417419 hasRelatedWork W2102975798 @default.
- W2117417419 hasRelatedWork W2105607518 @default.
- W2117417419 hasRelatedWork W2105782913 @default.
- W2117417419 hasRelatedWork W2159070493 @default.
- W2117417419 hasRelatedWork W2170880818 @default.
- W2117417419 hasRelatedWork W2186474449 @default.
- W2117417419 hasRelatedWork W2353129220 @default.
- W2117417419 hasRelatedWork W2373066870 @default.
- W2117417419 hasRelatedWork W250609310 @default.
- W2117417419 hasRelatedWork W2538391206 @default.
- W2117417419 hasRelatedWork W2556036550 @default.
- W2117417419 hasRelatedWork W2894948111 @default.
- W2117417419 isParatext "false" @default.
- W2117417419 isRetracted "false" @default.
- W2117417419 magId "2117417419" @default.
- W2117417419 workType "article" @default.