Matches in SemOpenAlex for { <https://semopenalex.org/work/W2081043708> ?p ?o ?g. }
- W2081043708 endingPage "1257" @default.
- W2081043708 startingPage "1250" @default.
- W2081043708 abstract "This paper presents a review of the role Petri nets play in protocol engineering. This methodology provides various models for specification and many methods for verification and other software engineering tasks concerning protocols. In particular, many property-preserving transformations and compositional methods are available for reducing the impact of state explosion on the two well-known verification approaches — reachability analysis and invariant analysis. By conversion, Petri nets can be used for studying systems specified by many of the formal description techniques frequently used for protocol investigation such as MSC, SDL, ESTELLE, LOTOS, CCS, CSP and CCSP. For example, Petri nets can be used for deriving test sequences and cyclomatic complexity measure for LOTOS. Also, many equivalence relations concerning the theoretical foundation of protocol engineering have been formulated on the basis of Petri nets. Other developments of Petri nets related to protocols include: Petri nets with temporal logic, feature interaction, synthesis, complexity measure, timed or object-related Petri nets, etc." @default.
- W2081043708 created "2016-06-24" @default.
- W2081043708 creator A5044476800 @default.
- W2081043708 date "1996-12-01" @default.
- W2081043708 modified "2023-09-28" @default.
- W2081043708 title "Petri nets for protocol engineering" @default.
- W2081043708 cites W107299656 @default.
- W2081043708 cites W125096783 @default.
- W2081043708 cites W129716784 @default.
- W2081043708 cites W13756767 @default.
- W2081043708 cites W1451198746 @default.
- W2081043708 cites W1480532879 @default.
- W2081043708 cites W1491461849 @default.
- W2081043708 cites W1495102554 @default.
- W2081043708 cites W1496843343 @default.
- W2081043708 cites W1496993747 @default.
- W2081043708 cites W1504999578 @default.
- W2081043708 cites W1512301961 @default.
- W2081043708 cites W1516964444 @default.
- W2081043708 cites W1527132796 @default.
- W2081043708 cites W1528826607 @default.
- W2081043708 cites W1544652985 @default.
- W2081043708 cites W1554909089 @default.
- W2081043708 cites W1555729963 @default.
- W2081043708 cites W1559884866 @default.
- W2081043708 cites W1569352711 @default.
- W2081043708 cites W1571913518 @default.
- W2081043708 cites W1572660965 @default.
- W2081043708 cites W1583572879 @default.
- W2081043708 cites W1585042602 @default.
- W2081043708 cites W1585333046 @default.
- W2081043708 cites W1598212711 @default.
- W2081043708 cites W1606662178 @default.
- W2081043708 cites W163257103 @default.
- W2081043708 cites W1729385193 @default.
- W2081043708 cites W1903679624 @default.
- W2081043708 cites W1908424597 @default.
- W2081043708 cites W1997871183 @default.
- W2081043708 cites W2008823968 @default.
- W2081043708 cites W2016300863 @default.
- W2081043708 cites W2017300403 @default.
- W2081043708 cites W2019533602 @default.
- W2081043708 cites W2021607222 @default.
- W2081043708 cites W2070245355 @default.
- W2081043708 cites W2082299854 @default.
- W2081043708 cites W2089255804 @default.
- W2081043708 cites W2095603938 @default.
- W2081043708 cites W2099037711 @default.
- W2081043708 cites W2101948642 @default.
- W2081043708 cites W2102905421 @default.
- W2081043708 cites W2125147093 @default.
- W2081043708 cites W2129335898 @default.
- W2081043708 cites W2130789522 @default.
- W2081043708 cites W2132559804 @default.
- W2081043708 cites W2132933749 @default.
- W2081043708 cites W2138723607 @default.
- W2081043708 cites W2143303417 @default.
- W2081043708 cites W2144039621 @default.
- W2081043708 cites W2144981077 @default.
- W2081043708 cites W2160367214 @default.
- W2081043708 cites W2164989576 @default.
- W2081043708 cites W2173342689 @default.
- W2081043708 cites W2225152177 @default.
- W2081043708 cites W2226447024 @default.
- W2081043708 cites W2279838076 @default.
- W2081043708 cites W2336967580 @default.
- W2081043708 cites W2339741178 @default.
- W2081043708 cites W2912062820 @default.
- W2081043708 cites W2944952970 @default.
- W2081043708 cites W3183435934 @default.
- W2081043708 cites W978293728 @default.
- W2081043708 doi "https://doi.org/10.1016/s0140-3664(96)01158-9" @default.
- W2081043708 hasPublicationYear "1996" @default.
- W2081043708 type Work @default.
- W2081043708 sameAs 2081043708 @default.
- W2081043708 citedByCount "8" @default.
- W2081043708 countsByYear W20810437082015 @default.
- W2081043708 countsByYear W20810437082016 @default.
- W2081043708 crossrefType "journal-article" @default.
- W2081043708 hasAuthorship W2081043708A5044476800 @default.
- W2081043708 hasConcept C110251889 @default.
- W2081043708 hasConcept C116253237 @default.
- W2081043708 hasConcept C120314980 @default.
- W2081043708 hasConcept C136155141 @default.
- W2081043708 hasConcept C136643341 @default.
- W2081043708 hasConcept C138885662 @default.
- W2081043708 hasConcept C142724271 @default.
- W2081043708 hasConcept C199360897 @default.
- W2081043708 hasConcept C204787440 @default.
- W2081043708 hasConcept C2780069185 @default.
- W2081043708 hasConcept C2780385302 @default.
- W2081043708 hasConcept C38677869 @default.
- W2081043708 hasConcept C41008148 @default.
- W2081043708 hasConcept C41895202 @default.
- W2081043708 hasConcept C71924100 @default.
- W2081043708 hasConcept C75606506 @default.
- W2081043708 hasConcept C80444323 @default.
- W2081043708 hasConceptScore W2081043708C110251889 @default.