Matches in SemOpenAlex for { <https://semopenalex.org/work/W853620939> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W853620939 abstract "Coopr ide r Petr i Nets Page i 1. Pe t r i Nets 1 1.1. Introduct ion 1 1.2. Other var ie t ies 3 1.3. Represen ta t ion of Processes 4 1.4. Common Subgraphs 4 2. Proof of P roper t i e s of Petri Nets 6 2.1. Introduct ion 6 2.2. Concur rency Restrictions 6 2.3. General P roper t i e s 6 2 .3 .1 . Freedom from Deadlock 6 2.4. Siphons and Traps 7 2.5. Busy Waiting 8 2.6. Indefinite Delay 9 2.7. Unnecessa ry Constraint 9 3. Examples of Petri Net Synchronizations 10 3.1. Introduct ion 10 3.2. Mutual Exclusion 11 3 .2 .1 . Problem Statement 11 3.2.2. Definitions 11 3 .2 .3 . Notes 12 3.3. Dining Philosophers 12 3 .3 .1 . Problem Statement 12 3.3.2. Definitions 13 3 .3 .3 . Notes 13 3.4. C iga re t t e Addicts 14 3 .4 .1 : Problem Sta tement [Pa t71] 14 3.4.2. Definitions 15 3 .4 .3 . Notes 16 3.5. Reader /Wr i te r 1 16 3 .5 .1 . Problem Statement[Cou71] 16 3.5.2. Definitions 16 3.5.3. Notes 17 3.6. Reader /Wr i te r 2 17 3 .6 .1 . Problem Statement [Cou71] 17 3.6.2. Definitions 18 3 .6 .3 . Notes 19 3.7. P roducer /Consumer Bounded Buffer 2 0 3 .7 .1 . Problem Statement [Dij68] 2 0 3.7.2. Definitions 2 0 3.7.3. Notes 21 3.8. P roducer /Consumer Multiple Streams 21 3 .8 .1 . Problem Statement[Dij72] 21 3.8.2. Definitions 2 2 3 .8 .3 . Notes 2 3 4. Pe t r i Net Theorems 2 3 4.1. Liveness Conditions 2 3 4.2. Markings 24 4.3. Decidability 24 5. Discussion 24 5.1. Adequacy of Petri Nets for Synchronization 24 5.2. Suitability 26 HUNT UBRARY CARNEGIE-MELLON UNIVERSITY Page ii Coopr ide r Petri Nets 26 5.3. Other Approaches Coopr ide r Petri Nets Page 1" @default.
- W853620939 created "2016-06-24" @default.
- W853620939 creator A5056646952 @default.
- W853620939 date "1976-01-01" @default.
- W853620939 modified "2023-09-27" @default.
- W853620939 title "Petri nets and the representation of standard synchronizations" @default.
- W853620939 hasPublicationYear "1976" @default.
- W853620939 type Work @default.
- W853620939 sameAs 853620939 @default.
- W853620939 citedByCount "0" @default.
- W853620939 crossrefType "journal-article" @default.
- W853620939 hasAuthorship W853620939A5056646952 @default.
- W853620939 hasConcept C111472728 @default.
- W853620939 hasConcept C114614502 @default.
- W853620939 hasConcept C118615104 @default.
- W853620939 hasConcept C138885662 @default.
- W853620939 hasConcept C159023740 @default.
- W853620939 hasConcept C199360897 @default.
- W853620939 hasConcept C2777026412 @default.
- W853620939 hasConcept C33923547 @default.
- W853620939 hasConcept C38677869 @default.
- W853620939 hasConcept C41008148 @default.
- W853620939 hasConceptScore W853620939C111472728 @default.
- W853620939 hasConceptScore W853620939C114614502 @default.
- W853620939 hasConceptScore W853620939C118615104 @default.
- W853620939 hasConceptScore W853620939C138885662 @default.
- W853620939 hasConceptScore W853620939C159023740 @default.
- W853620939 hasConceptScore W853620939C199360897 @default.
- W853620939 hasConceptScore W853620939C2777026412 @default.
- W853620939 hasConceptScore W853620939C33923547 @default.
- W853620939 hasConceptScore W853620939C38677869 @default.
- W853620939 hasConceptScore W853620939C41008148 @default.
- W853620939 hasLocation W8536209391 @default.
- W853620939 hasOpenAccess W853620939 @default.
- W853620939 hasPrimaryLocation W8536209391 @default.
- W853620939 hasRelatedWork W1494753485 @default.
- W853620939 hasRelatedWork W1514102086 @default.
- W853620939 hasRelatedWork W1553001612 @default.
- W853620939 hasRelatedWork W1584758696 @default.
- W853620939 hasRelatedWork W1604148432 @default.
- W853620939 hasRelatedWork W1987508848 @default.
- W853620939 hasRelatedWork W2102504150 @default.
- W853620939 hasRelatedWork W2119655921 @default.
- W853620939 hasRelatedWork W2125028799 @default.
- W853620939 hasRelatedWork W2127095285 @default.
- W853620939 hasRelatedWork W2129271033 @default.
- W853620939 hasRelatedWork W2134457845 @default.
- W853620939 hasRelatedWork W2136315358 @default.
- W853620939 hasRelatedWork W2478028776 @default.
- W853620939 hasRelatedWork W2915557110 @default.
- W853620939 hasRelatedWork W2916064013 @default.
- W853620939 hasRelatedWork W2945708680 @default.
- W853620939 hasRelatedWork W3199262952 @default.
- W853620939 hasRelatedWork W47170492 @default.
- W853620939 hasRelatedWork W65876433 @default.
- W853620939 isParatext "false" @default.
- W853620939 isRetracted "false" @default.
- W853620939 magId "853620939" @default.
- W853620939 workType "article" @default.