Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108015859> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2108015859 abstract "In logic control design, production sequences are typically expressed as a series of informal specifications to be translated into a formal model. The present paper introduces a novel Petri net based methodology conceived as an incremental process, which progressively adds sub-nets to a partial model until all specifications have been included. A formal verification of the model is performed at every stage, so that specifications which are incongruent with the current model and can jeopardize its correctness can be detected and rejected or modified. No modeling constraints are imposed to the design process, as is the case with classical methodologies, which are generally not well suited to represent behaviors characterized by complex alternative-parallel relationships between operations. An algorithm is provided for the automatic synthesis of complex connection structures in the model, allowing for greater flexibility and complexity in the design process." @default.
- W2108015859 created "2016-06-24" @default.
- W2108015859 creator A5014110420 @default.
- W2108015859 creator A5054170407 @default.
- W2108015859 creator A5070453413 @default.
- W2108015859 date "2005-09-12" @default.
- W2108015859 modified "2023-09-26" @default.
- W2108015859 title "An incremental petri net approach to production sequence modeling" @default.
- W2108015859 cites W1590445759 @default.
- W2108015859 cites W1608395887 @default.
- W2108015859 cites W1994188141 @default.
- W2108015859 cites W1995519768 @default.
- W2108015859 cites W1996109622 @default.
- W2108015859 cites W2076749410 @default.
- W2108015859 cites W2103397180 @default.
- W2108015859 cites W2129466958 @default.
- W2108015859 cites W2147337504 @default.
- W2108015859 cites W2154193550 @default.
- W2108015859 cites W2160138402 @default.
- W2108015859 cites W2160376434 @default.
- W2108015859 cites W2162140605 @default.
- W2108015859 cites W2036337288 @default.
- W2108015859 doi "https://doi.org/10.1109/coase.2005.1506791" @default.
- W2108015859 hasPublicationYear "2005" @default.
- W2108015859 type Work @default.
- W2108015859 sameAs 2108015859 @default.
- W2108015859 citedByCount "0" @default.
- W2108015859 crossrefType "proceedings-article" @default.
- W2108015859 hasAuthorship W2108015859A5014110420 @default.
- W2108015859 hasAuthorship W2108015859A5054170407 @default.
- W2108015859 hasAuthorship W2108015859A5070453413 @default.
- W2108015859 hasConcept C105795698 @default.
- W2108015859 hasConcept C111498074 @default.
- W2108015859 hasConcept C11413529 @default.
- W2108015859 hasConcept C115903868 @default.
- W2108015859 hasConcept C116253237 @default.
- W2108015859 hasConcept C136155141 @default.
- W2108015859 hasConcept C139719470 @default.
- W2108015859 hasConcept C162324750 @default.
- W2108015859 hasConcept C199360897 @default.
- W2108015859 hasConcept C2778112365 @default.
- W2108015859 hasConcept C2778348673 @default.
- W2108015859 hasConcept C2780598303 @default.
- W2108015859 hasConcept C33923547 @default.
- W2108015859 hasConcept C38677869 @default.
- W2108015859 hasConcept C41008148 @default.
- W2108015859 hasConcept C54355233 @default.
- W2108015859 hasConcept C55439883 @default.
- W2108015859 hasConcept C75606506 @default.
- W2108015859 hasConcept C80444323 @default.
- W2108015859 hasConcept C86803240 @default.
- W2108015859 hasConcept C98045186 @default.
- W2108015859 hasConceptScore W2108015859C105795698 @default.
- W2108015859 hasConceptScore W2108015859C111498074 @default.
- W2108015859 hasConceptScore W2108015859C11413529 @default.
- W2108015859 hasConceptScore W2108015859C115903868 @default.
- W2108015859 hasConceptScore W2108015859C116253237 @default.
- W2108015859 hasConceptScore W2108015859C136155141 @default.
- W2108015859 hasConceptScore W2108015859C139719470 @default.
- W2108015859 hasConceptScore W2108015859C162324750 @default.
- W2108015859 hasConceptScore W2108015859C199360897 @default.
- W2108015859 hasConceptScore W2108015859C2778112365 @default.
- W2108015859 hasConceptScore W2108015859C2778348673 @default.
- W2108015859 hasConceptScore W2108015859C2780598303 @default.
- W2108015859 hasConceptScore W2108015859C33923547 @default.
- W2108015859 hasConceptScore W2108015859C38677869 @default.
- W2108015859 hasConceptScore W2108015859C41008148 @default.
- W2108015859 hasConceptScore W2108015859C54355233 @default.
- W2108015859 hasConceptScore W2108015859C55439883 @default.
- W2108015859 hasConceptScore W2108015859C75606506 @default.
- W2108015859 hasConceptScore W2108015859C80444323 @default.
- W2108015859 hasConceptScore W2108015859C86803240 @default.
- W2108015859 hasConceptScore W2108015859C98045186 @default.
- W2108015859 hasLocation W21080158591 @default.
- W2108015859 hasOpenAccess W2108015859 @default.
- W2108015859 hasPrimaryLocation W21080158591 @default.
- W2108015859 hasRelatedWork W1833056993 @default.
- W2108015859 hasRelatedWork W2105344291 @default.
- W2108015859 hasRelatedWork W2108015859 @default.
- W2108015859 hasRelatedWork W2160541786 @default.
- W2108015859 hasRelatedWork W2753313378 @default.
- W2108015859 hasRelatedWork W2888511493 @default.
- W2108015859 hasRelatedWork W2905531183 @default.
- W2108015859 hasRelatedWork W2964918455 @default.
- W2108015859 hasRelatedWork W3217490939 @default.
- W2108015859 hasRelatedWork W35098758 @default.
- W2108015859 isParatext "false" @default.
- W2108015859 isRetracted "false" @default.
- W2108015859 magId "2108015859" @default.
- W2108015859 workType "article" @default.