Matches in SemOpenAlex for { <https://semopenalex.org/work/W2291281018> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2291281018 abstract "Nowadays, systems tend to be more and more distributed. Distribution brings a huge complexity and a strong need to deduce possible (good and bad) behaviors on the global system, from the known behavior of its actors. For such systems, we know that classical development methods are not adequate since the coverage of possible executions is too low [1]. This is an old observation that led people to investigate the use of formal methods." @default.
- W2291281018 created "2016-06-24" @default.
- W2291281018 creator A5039526664 @default.
- W2291281018 creator A5050913508 @default.
- W2291281018 creator A5066521155 @default.
- W2291281018 date "2012-01-01" @default.
- W2291281018 modified "2023-09-26" @default.
- W2291281018 title "Modeling and Verifying Distributed Systems with Petri Nets" @default.
- W2291281018 cites W2098799476 @default.
- W2291281018 cites W2489234237 @default.
- W2291281018 hasPublicationYear "2012" @default.
- W2291281018 type Work @default.
- W2291281018 sameAs 2291281018 @default.
- W2291281018 citedByCount "1" @default.
- W2291281018 countsByYear W22912810182014 @default.
- W2291281018 crossrefType "journal-article" @default.
- W2291281018 hasAuthorship W2291281018A5039526664 @default.
- W2291281018 hasAuthorship W2291281018A5050913508 @default.
- W2291281018 hasAuthorship W2291281018A5066521155 @default.
- W2291281018 hasConcept C120314980 @default.
- W2291281018 hasConcept C38677869 @default.
- W2291281018 hasConcept C41008148 @default.
- W2291281018 hasConcept C80444323 @default.
- W2291281018 hasConceptScore W2291281018C120314980 @default.
- W2291281018 hasConceptScore W2291281018C38677869 @default.
- W2291281018 hasConceptScore W2291281018C41008148 @default.
- W2291281018 hasConceptScore W2291281018C80444323 @default.
- W2291281018 hasLocation W22912810181 @default.
- W2291281018 hasOpenAccess W2291281018 @default.
- W2291281018 hasPrimaryLocation W22912810181 @default.
- W2291281018 hasRelatedWork W1481384555 @default.
- W2291281018 hasRelatedWork W1497414142 @default.
- W2291281018 hasRelatedWork W149936107 @default.
- W2291281018 hasRelatedWork W1510950427 @default.
- W2291281018 hasRelatedWork W1618113455 @default.
- W2291281018 hasRelatedWork W2171459081 @default.
- W2291281018 hasRelatedWork W2293023350 @default.
- W2291281018 hasRelatedWork W2510962294 @default.
- W2291281018 hasRelatedWork W2587468764 @default.
- W2291281018 hasRelatedWork W2782082370 @default.
- W2291281018 hasRelatedWork W2913361757 @default.
- W2291281018 hasRelatedWork W2947675049 @default.
- W2291281018 hasRelatedWork W2948443596 @default.
- W2291281018 hasRelatedWork W2968733887 @default.
- W2291281018 hasRelatedWork W2985125481 @default.
- W2291281018 hasRelatedWork W3007111576 @default.
- W2291281018 hasRelatedWork W3115090995 @default.
- W2291281018 hasRelatedWork W602039302 @default.
- W2291281018 hasRelatedWork W9305138 @default.
- W2291281018 hasRelatedWork W99778302 @default.
- W2291281018 isParatext "false" @default.
- W2291281018 isRetracted "false" @default.
- W2291281018 magId "2291281018" @default.
- W2291281018 workType "article" @default.