Matches in SemOpenAlex for { <https://semopenalex.org/work/W1525859098> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1525859098 endingPage "12" @default.
- W1525859098 startingPage "1" @default.
- W1525859098 abstract "Petrinette is a tool for the design and verification of systems modeled using Petri nets. Design is supported by a graphical interface while verification is based on the Circal System, a model checker for the Circal process algebra. Petrinette translates Petri nets into Circal and then performs the verification within the Circal System, possibly integrating non Petri net models which have been directly modeled in Circal. Petrinette allows the automatic verification of safety properties and some liveness properties of systems modeled using Petri nets and/or the Circal Process algebra. It also allows the automatic verification of properties which are specific to Petri nets, such as contact-freedom." @default.
- W1525859098 created "2016-06-24" @default.
- W1525859098 creator A5048782242 @default.
- W1525859098 creator A5087554691 @default.
- W1525859098 date "2001-12-01" @default.
- W1525859098 modified "2023-09-23" @default.
- W1525859098 title "Petrinette: a tool for the integrated analysis of petri nets and finite state machines" @default.
- W1525859098 cites W1547068879 @default.
- W1525859098 cites W1567258120 @default.
- W1525859098 cites W2113733577 @default.
- W1525859098 cites W2955077786 @default.
- W1525859098 hasPublicationYear "2001" @default.
- W1525859098 type Work @default.
- W1525859098 sameAs 1525859098 @default.
- W1525859098 citedByCount "0" @default.
- W1525859098 crossrefType "journal-article" @default.
- W1525859098 hasAuthorship W1525859098A5048782242 @default.
- W1525859098 hasAuthorship W1525859098A5087554691 @default.
- W1525859098 hasConcept C110251889 @default.
- W1525859098 hasConcept C111498074 @default.
- W1525859098 hasConcept C111919701 @default.
- W1525859098 hasConcept C113843644 @default.
- W1525859098 hasConcept C129307140 @default.
- W1525859098 hasConcept C136155141 @default.
- W1525859098 hasConcept C146763376 @default.
- W1525859098 hasConcept C15569618 @default.
- W1525859098 hasConcept C157915830 @default.
- W1525859098 hasConcept C161771561 @default.
- W1525859098 hasConcept C167822520 @default.
- W1525859098 hasConcept C197551870 @default.
- W1525859098 hasConcept C199360897 @default.
- W1525859098 hasConcept C38677869 @default.
- W1525859098 hasConcept C41008148 @default.
- W1525859098 hasConcept C48103436 @default.
- W1525859098 hasConcept C54355233 @default.
- W1525859098 hasConcept C80444323 @default.
- W1525859098 hasConcept C86803240 @default.
- W1525859098 hasConcept C98045186 @default.
- W1525859098 hasConceptScore W1525859098C110251889 @default.
- W1525859098 hasConceptScore W1525859098C111498074 @default.
- W1525859098 hasConceptScore W1525859098C111919701 @default.
- W1525859098 hasConceptScore W1525859098C113843644 @default.
- W1525859098 hasConceptScore W1525859098C129307140 @default.
- W1525859098 hasConceptScore W1525859098C136155141 @default.
- W1525859098 hasConceptScore W1525859098C146763376 @default.
- W1525859098 hasConceptScore W1525859098C15569618 @default.
- W1525859098 hasConceptScore W1525859098C157915830 @default.
- W1525859098 hasConceptScore W1525859098C161771561 @default.
- W1525859098 hasConceptScore W1525859098C167822520 @default.
- W1525859098 hasConceptScore W1525859098C197551870 @default.
- W1525859098 hasConceptScore W1525859098C199360897 @default.
- W1525859098 hasConceptScore W1525859098C38677869 @default.
- W1525859098 hasConceptScore W1525859098C41008148 @default.
- W1525859098 hasConceptScore W1525859098C48103436 @default.
- W1525859098 hasConceptScore W1525859098C54355233 @default.
- W1525859098 hasConceptScore W1525859098C80444323 @default.
- W1525859098 hasConceptScore W1525859098C86803240 @default.
- W1525859098 hasConceptScore W1525859098C98045186 @default.
- W1525859098 hasLocation W15258590981 @default.
- W1525859098 hasOpenAccess W1525859098 @default.
- W1525859098 hasPrimaryLocation W15258590981 @default.
- W1525859098 hasRelatedWork W1522112548 @default.
- W1525859098 hasRelatedWork W1724543665 @default.
- W1525859098 hasRelatedWork W1945562922 @default.
- W1525859098 hasRelatedWork W1964742737 @default.
- W1525859098 hasRelatedWork W1969124400 @default.
- W1525859098 hasRelatedWork W2029336252 @default.
- W1525859098 hasRelatedWork W2031524579 @default.
- W1525859098 hasRelatedWork W2047508430 @default.
- W1525859098 hasRelatedWork W2062511256 @default.
- W1525859098 hasRelatedWork W2085843072 @default.
- W1525859098 hasRelatedWork W2102169237 @default.
- W1525859098 hasRelatedWork W2102975798 @default.
- W1525859098 hasRelatedWork W2165008379 @default.
- W1525859098 hasRelatedWork W2170301162 @default.
- W1525859098 hasRelatedWork W2186474449 @default.
- W1525859098 hasRelatedWork W2390422224 @default.
- W1525859098 hasRelatedWork W2394318882 @default.
- W1525859098 hasRelatedWork W2514957106 @default.
- W1525859098 hasRelatedWork W2534416985 @default.
- W1525859098 hasRelatedWork W45490317 @default.
- W1525859098 isParatext "false" @default.
- W1525859098 isRetracted "false" @default.
- W1525859098 magId "1525859098" @default.
- W1525859098 workType "article" @default.