Matches in SemOpenAlex for { <https://semopenalex.org/work/W1558859005> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1558859005 abstract "We consider three ways of constructing Petri nets. The first, most reliable way is to use all states of action objects and subjects. The Petri net constructed in this way is considered as the correct Petri net for verifying other nets. Then we construct the Petri net via states of action objects only with some constraints. In this case we implement constraints as the guaranteed boundedness of the number of tokens in selected places and find that the resulting Petri net coincides with the correct one. We show that the Petri net via states of action subjects with constraints also coincides with the correct Petri net. We also consider an example illustrating the fact that specifications of systems to be modeled via states of action objects only or action subjects only with related constraints are more natural and convenient as compared with specifications via states of action objects and subjects." @default.
- W1558859005 created "2016-06-24" @default.
- W1558859005 creator A5074330772 @default.
- W1558859005 date "2004-03-22" @default.
- W1558859005 modified "2023-09-23" @default.
- W1558859005 title "Construction of Petri nets via states of action objects and subjects" @default.
- W1558859005 cites W1481750753 @default.
- W1558859005 cites W1768076797 @default.
- W1558859005 cites W1994188141 @default.
- W1558859005 doi "https://doi.org/10.1109/iconip.2002.1202166" @default.
- W1558859005 hasPublicationYear "2004" @default.
- W1558859005 type Work @default.
- W1558859005 sameAs 1558859005 @default.
- W1558859005 citedByCount "1" @default.
- W1558859005 crossrefType "proceedings-article" @default.
- W1558859005 hasAuthorship W1558859005A5074330772 @default.
- W1558859005 hasConcept C121332964 @default.
- W1558859005 hasConcept C136155141 @default.
- W1558859005 hasConcept C14166107 @default.
- W1558859005 hasConcept C146763376 @default.
- W1558859005 hasConcept C197551870 @default.
- W1558859005 hasConcept C199360897 @default.
- W1558859005 hasConcept C2524010 @default.
- W1558859005 hasConcept C2780791683 @default.
- W1558859005 hasConcept C2780801425 @default.
- W1558859005 hasConcept C33923547 @default.
- W1558859005 hasConcept C38677869 @default.
- W1558859005 hasConcept C41008148 @default.
- W1558859005 hasConcept C54355233 @default.
- W1558859005 hasConcept C62520636 @default.
- W1558859005 hasConcept C80444323 @default.
- W1558859005 hasConcept C86803240 @default.
- W1558859005 hasConceptScore W1558859005C121332964 @default.
- W1558859005 hasConceptScore W1558859005C136155141 @default.
- W1558859005 hasConceptScore W1558859005C14166107 @default.
- W1558859005 hasConceptScore W1558859005C146763376 @default.
- W1558859005 hasConceptScore W1558859005C197551870 @default.
- W1558859005 hasConceptScore W1558859005C199360897 @default.
- W1558859005 hasConceptScore W1558859005C2524010 @default.
- W1558859005 hasConceptScore W1558859005C2780791683 @default.
- W1558859005 hasConceptScore W1558859005C2780801425 @default.
- W1558859005 hasConceptScore W1558859005C33923547 @default.
- W1558859005 hasConceptScore W1558859005C38677869 @default.
- W1558859005 hasConceptScore W1558859005C41008148 @default.
- W1558859005 hasConceptScore W1558859005C54355233 @default.
- W1558859005 hasConceptScore W1558859005C62520636 @default.
- W1558859005 hasConceptScore W1558859005C80444323 @default.
- W1558859005 hasConceptScore W1558859005C86803240 @default.
- W1558859005 hasLocation W15588590051 @default.
- W1558859005 hasOpenAccess W1558859005 @default.
- W1558859005 hasPrimaryLocation W15588590051 @default.
- W1558859005 hasRelatedWork W120843661 @default.
- W1558859005 hasRelatedWork W1481750753 @default.
- W1558859005 hasRelatedWork W1506995308 @default.
- W1558859005 hasRelatedWork W1519113483 @default.
- W1558859005 hasRelatedWork W1531262057 @default.
- W1558859005 hasRelatedWork W1581909656 @default.
- W1558859005 hasRelatedWork W1887498819 @default.
- W1558859005 hasRelatedWork W1919064334 @default.
- W1558859005 hasRelatedWork W1951533283 @default.
- W1558859005 hasRelatedWork W2009219206 @default.
- W1558859005 hasRelatedWork W2109890989 @default.
- W1558859005 hasRelatedWork W2120909378 @default.
- W1558859005 hasRelatedWork W2125025425 @default.
- W1558859005 hasRelatedWork W2130283794 @default.
- W1558859005 hasRelatedWork W2145663787 @default.
- W1558859005 hasRelatedWork W2162229267 @default.
- W1558859005 hasRelatedWork W2405417647 @default.
- W1558859005 hasRelatedWork W2767551628 @default.
- W1558859005 hasRelatedWork W2886790899 @default.
- W1558859005 hasRelatedWork W2915077839 @default.
- W1558859005 isParatext "false" @default.
- W1558859005 isRetracted "false" @default.
- W1558859005 magId "1558859005" @default.
- W1558859005 workType "article" @default.