Matches in SemOpenAlex for { <https://semopenalex.org/work/W1899604033> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1899604033 abstract "Temporal Petri nets greatly enhance the modeling and analyzing power of Petri nets. The dynamic behavior of a given system and causality in events can be elegantly described by formulas containing temporal operators. We show how temporal Petri nets can be used for formal specification and verification of an online stock trading system. The functional correctness of the modeled system is formally analyzed by using the inference rules of temporal logic. Certain important properties of the temporal Petri net model are given. Finally; the further studying subjects are represented." @default.
- W1899604033 created "2016-06-24" @default.
- W1899604033 creator A5066099338 @default.
- W1899604033 creator A5078610964 @default.
- W1899604033 date "2002-11-13" @default.
- W1899604033 modified "2023-09-26" @default.
- W1899604033 title "Formal analysis of an online stock trading system by temporal Petri nets" @default.
- W1899604033 cites W1996109622 @default.
- W1899604033 cites W1997422892 @default.
- W1899604033 cites W2017300403 @default.
- W1899604033 cites W2118350713 @default.
- W1899604033 cites W2120371353 @default.
- W1899604033 cites W2143303417 @default.
- W1899604033 cites W2158814988 @default.
- W1899604033 cites W2166656159 @default.
- W1899604033 cites W2167808845 @default.
- W1899604033 cites W2364492905 @default.
- W1899604033 cites W3145095276 @default.
- W1899604033 doi "https://doi.org/10.1109/iccnmc.2001.962596" @default.
- W1899604033 hasPublicationYear "2002" @default.
- W1899604033 type Work @default.
- W1899604033 sameAs 1899604033 @default.
- W1899604033 citedByCount "1" @default.
- W1899604033 crossrefType "proceedings-article" @default.
- W1899604033 hasAuthorship W1899604033A5066099338 @default.
- W1899604033 hasAuthorship W1899604033A5078610964 @default.
- W1899604033 hasConcept C136155141 @default.
- W1899604033 hasConcept C154945302 @default.
- W1899604033 hasConcept C197551870 @default.
- W1899604033 hasConcept C199360897 @default.
- W1899604033 hasConcept C25016198 @default.
- W1899604033 hasConcept C2776214188 @default.
- W1899604033 hasConcept C38677869 @default.
- W1899604033 hasConcept C41008148 @default.
- W1899604033 hasConcept C55439883 @default.
- W1899604033 hasConcept C80444323 @default.
- W1899604033 hasConceptScore W1899604033C136155141 @default.
- W1899604033 hasConceptScore W1899604033C154945302 @default.
- W1899604033 hasConceptScore W1899604033C197551870 @default.
- W1899604033 hasConceptScore W1899604033C199360897 @default.
- W1899604033 hasConceptScore W1899604033C25016198 @default.
- W1899604033 hasConceptScore W1899604033C2776214188 @default.
- W1899604033 hasConceptScore W1899604033C38677869 @default.
- W1899604033 hasConceptScore W1899604033C41008148 @default.
- W1899604033 hasConceptScore W1899604033C55439883 @default.
- W1899604033 hasConceptScore W1899604033C80444323 @default.
- W1899604033 hasLocation W18996040331 @default.
- W1899604033 hasOpenAccess W1899604033 @default.
- W1899604033 hasPrimaryLocation W18996040331 @default.
- W1899604033 hasRelatedWork W1481750753 @default.
- W1899604033 hasRelatedWork W1608601184 @default.
- W1899604033 hasRelatedWork W1748598711 @default.
- W1899604033 hasRelatedWork W1901843274 @default.
- W1899604033 hasRelatedWork W2009219206 @default.
- W1899604033 hasRelatedWork W2017300403 @default.
- W1899604033 hasRelatedWork W2027152011 @default.
- W1899604033 hasRelatedWork W2109890989 @default.
- W1899604033 hasRelatedWork W2113040727 @default.
- W1899604033 hasRelatedWork W2122792933 @default.
- W1899604033 hasRelatedWork W2123610695 @default.
- W1899604033 hasRelatedWork W2124094947 @default.
- W1899604033 hasRelatedWork W2150667686 @default.
- W1899604033 hasRelatedWork W2152378188 @default.
- W1899604033 hasRelatedWork W2168643506 @default.
- W1899604033 hasRelatedWork W2271407358 @default.
- W1899604033 hasRelatedWork W2359796614 @default.
- W1899604033 hasRelatedWork W2373123202 @default.
- W1899604033 hasRelatedWork W2393619008 @default.
- W1899604033 hasRelatedWork W2741189801 @default.
- W1899604033 isParatext "false" @default.
- W1899604033 isRetracted "false" @default.
- W1899604033 magId "1899604033" @default.
- W1899604033 workType "article" @default.