Matches in SemOpenAlex for { <https://semopenalex.org/work/W2025607165> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2025607165 endingPage "209" @default.
- W2025607165 startingPage "199" @default.
- W2025607165 abstract "This paper deals with the deadlock-free verification problem of RosettaNet, a promising and widespread e-business protocol in the information technology and electronic industries. RosettaNet PIPs (partner interface processes) specifications are first modelled with time Petri nets (TPNs) which allow an explicit modelling of concurrency and parallelism. Correctness of the TPN models is verified to ensure the capability of deadlock-freeness, auto-repairing implementation of RosettaNet applications. We adopt the idea of checking the possible existence of an uncontrolled siphon as our deadlock detection mechanism. We demonstrate that RosettaNet PIPs are deadlock-free in both deterministic and stochastic operational environments. A patch subnet technique is developed to improve the efficiency of RosettaNet PIPs. We also prove that the execution of some steps defined in RosettaNet PIPs will never take place. We therefore suggest to removing these unnecessary steps from RosettaNet PIPs and from a lean model." @default.
- W2025607165 created "2016-06-24" @default.
- W2025607165 creator A5036148239 @default.
- W2025607165 creator A5040424527 @default.
- W2025607165 date "2005-03-01" @default.
- W2025607165 modified "2023-09-25" @default.
- W2025607165 title "Deadlock-free verification and performance enhancement of RosettaNet PIPs with time Petri nets" @default.
- W2025607165 doi "https://doi.org/10.1080/0951192052000288170" @default.
- W2025607165 hasPublicationYear "2005" @default.
- W2025607165 type Work @default.
- W2025607165 sameAs 2025607165 @default.
- W2025607165 citedByCount "2" @default.
- W2025607165 countsByYear W20256071652017 @default.
- W2025607165 crossrefType "journal-article" @default.
- W2025607165 hasAuthorship W2025607165A5036148239 @default.
- W2025607165 hasAuthorship W2025607165A5040424527 @default.
- W2025607165 hasConcept C113429609 @default.
- W2025607165 hasConcept C120314980 @default.
- W2025607165 hasConcept C13280743 @default.
- W2025607165 hasConcept C159023740 @default.
- W2025607165 hasConcept C185798385 @default.
- W2025607165 hasConcept C193702766 @default.
- W2025607165 hasConcept C199360897 @default.
- W2025607165 hasConcept C205649164 @default.
- W2025607165 hasConcept C38677869 @default.
- W2025607165 hasConcept C41008148 @default.
- W2025607165 hasConcept C55439883 @default.
- W2025607165 hasConceptScore W2025607165C113429609 @default.
- W2025607165 hasConceptScore W2025607165C120314980 @default.
- W2025607165 hasConceptScore W2025607165C13280743 @default.
- W2025607165 hasConceptScore W2025607165C159023740 @default.
- W2025607165 hasConceptScore W2025607165C185798385 @default.
- W2025607165 hasConceptScore W2025607165C193702766 @default.
- W2025607165 hasConceptScore W2025607165C199360897 @default.
- W2025607165 hasConceptScore W2025607165C205649164 @default.
- W2025607165 hasConceptScore W2025607165C38677869 @default.
- W2025607165 hasConceptScore W2025607165C41008148 @default.
- W2025607165 hasConceptScore W2025607165C55439883 @default.
- W2025607165 hasIssue "2-3" @default.
- W2025607165 hasLocation W20256071651 @default.
- W2025607165 hasOpenAccess W2025607165 @default.
- W2025607165 hasPrimaryLocation W20256071651 @default.
- W2025607165 hasRelatedWork W1598826827 @default.
- W2025607165 hasRelatedWork W1600154216 @default.
- W2025607165 hasRelatedWork W1870039598 @default.
- W2025607165 hasRelatedWork W1964544323 @default.
- W2025607165 hasRelatedWork W2010487855 @default.
- W2025607165 hasRelatedWork W2098790982 @default.
- W2025607165 hasRelatedWork W2262052980 @default.
- W2025607165 hasRelatedWork W2371232373 @default.
- W2025607165 hasRelatedWork W2371623873 @default.
- W2025607165 hasRelatedWork W2537777639 @default.
- W2025607165 hasVolume "18" @default.
- W2025607165 isParatext "false" @default.
- W2025607165 isRetracted "false" @default.
- W2025607165 magId "2025607165" @default.
- W2025607165 workType "article" @default.