Petri nets for systems engineering: a guide to modeling, verification, and applications
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2003
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Includes bibliographical references and index |
| Physical Description: | XVI, 607 S. Ill. |
| ISBN: | 3540412174 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV014861158 | ||
| 003 | DE-604 | ||
| 005 | 20050718 | ||
| 007 | t | ||
| 008 | 021105s2003 xxua||| |||| 00||| eng d | ||
| 016 | 7 | |a 965793958 |2 DE-101 | |
| 020 | |a 3540412174 |9 3-540-41217-4 | ||
| 035 | |a (OCoLC)248269550 | ||
| 035 | |a (DE-599)BVBBV014861158 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-473 |a DE-824 |a DE-573 |a DE-29T |a DE-384 |a DE-Aug4 |a DE-522 |a DE-634 |a DE-83 | ||
| 050 | 0 | |a QA76.9.F67 | |
| 082 | 0 | |a 004/.01/51 |2 21 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 100 | 1 | |a Girault, Claude |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Petri nets for systems engineering |b a guide to modeling, verification, and applications |c Claude Girault, Rüdiger Valk |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2003 | |
| 300 | |a XVI, 607 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 7 | |a Engenharia de sistemas de computação |2 larpcal | |
| 650 | 7 | |a Petri netwerken |2 gtt | |
| 650 | 7 | |a Redes de petri |2 larpcal | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 4 | |a Petri nets | |
| 650 | 4 | |a Systems engineering | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Valk, Rüdiger |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010049327&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010049327 | ||
Record in the Search Index
| _version_ | 1804129621871951872 |
|---|---|
| adam_text | CLAUDE GIRAULT RUDIGERVALK PETRI NETS FOR SYSTEMS ENGINEERING A GUIDE TO
MODELING, VERIFICATION, : AND APPLICATIONS WITH 190 FIGURES AND 9 TABLES
SPRINGER CONTENTS LIST OF AUTHORS AND AFFILIATIONS XV INTRODUCTION:
PURPOSE OF THE BOOK 1 PART I. PETRI NETS * BASIC CONCEPTS 1.
INTRODUCTION 7 2. ESSENTIAL FEATURES OF PETRI NETS 9 2.1 LOCALITY AND
CONCURRENCY 10 2.2 GRAPHICAL AND ALGEBRAIC REPRESENTATION 12 2.3
CONCURRENCY, CONFLICT, AND CONFUSION 15 2.4 REFINEMENT AND COMPOSITION
18 2.5 NET MORPHISMS 23 3. INTUITIVE MODELS 29 3.1 ARC-CONSTANT NETS 29
3.2 PLACE/TRANSITION NETS 32 3.3 COLOURED NETS 34 3.4 FOLDINGS 38 4.
BASIC DEFINITIONS . 41 4.1 FORMAL DEFINITION OF PLACE/TRANSITION NETS 41
4.2 FORMAL DEFINITION OF ARC-CONSTANT NETS 43 4.3 FORMAL DEFINITION OF
COLOURED NETS 45 5. PROPERTIES 53 5.1 BASIC PROPERTIES 54 5.2 AN
INTRODUCTION TO THE ANALYSIS 58 5.2.1 VERIFICATION BASED ON THE
REACHABILITY GRAPH 60 5.2.2 VERIFICATION BASED ON LINEAR INVARIANTS 68
6. OVERVIEW OF THE BOOK 73 VIII CONTENTS PART II. MODELLING 7.
INTRODUCTION 81 8. MODELLING AND ANALYSIS TECHNIQUES BY EXAMPLE 85 8.1
NETS, REFINEMENT, AND ABSTRACTION 85 8.2 PLACE/TRANSITION NETS AND
RESOURCE MANAGEMENT 92 8.3 COLOURED NETS, ABSTRACTION, AND UNFOLDING 97
9. TECHNIQUES 105 9.1 BUILDING BLOCKS 105 9.2 COMBINING NETS 108 9.2.1
PLACE FUSION 108 9.2.2 ARC ADDITION 110 9.2.3 TRANSITION FUSION ILL 9.3
HIGH-LEVEL NETS 112 9.3.1 COLOURED NETS 112 9.3.2 FAIRNESS, PRIORITY,
AND TIME 115 9.4 DECOMPOSING NETS 116 9.5 CONCLUSION 117 10. METHODS 119
10.1 STATE-ORIENTED MODELLING 120 10.1.1 SPECIFICATION 123 10.1.2 DESIGN
124 10.1.3 IMPLEMENTATION 133 10.1.4 CONCLUSION 134 10.2 EVENT-ORIENTED
MODELLING 135 10.2.1 HIGH-LEVEL MODELLING 135 10.2.2 PROTOCOL MODELLING
137 10.2.3 VERIFICATION 142 10.2.4 CONCLUSION 145 10.3 OBJECT-ORIENTED
MODELLING 146 10.3.1 OBJECTS VS. PETRI NETS 146 10.3.2 INTEGRATION
APPROACHES 148 10.3.3 A MULTI-FORMALISM APPROACH INCLUDING NETS 152
10.3.4 CONCLUSION 157 11. CASE STUDIES 159 11.1 STATE-ORIENTED APPROACH
162 11.1.1 SPECIFICATION 162 11.1.2 DESIGN 162 11.1.3 IMPLEMENTATION 166
11.2 EVENT-ORIENTED APPROACH 166 CONTENTS IX 11.2.1 MODELLING A NODE 166
11.2.2 VERIFICATION 170 11.2.3 ADDING COLOUR 172 11.3 OBJECT-ORIENTED
APPROACH 173 11.3.1 STRUCTURE OF THE NODECOORDINATOR 173 11.3.2 THE
NODECOORDINATOR IN OF-CLASS FORMALISM 175 11.3.3 NET SYNTHESIS FROM THE
NODECOORDINATOR SPECIFICATION 176 11.3.4 VERIFICATION OF PROTOCOL
CORRECTNESS 176 12. CONCLUSION 179 PART III. VERIFICATION 13.
INTRODUCTION: ISSUES IN VERIFICATION 183 13.1 CLASSIFICATION OF NETS 184
13.1.1 RESTRICTION OF NETS 184 13.1.2 EXTENSION OF NETS 184 13.1.3
ABBREVIATION OF NETS 185 13.1.4 PARAMETRISATION OF NETS 187 13.2
PROPERTIES 188 13.3 CLASSIFICATION OF METHODS 190 13.4 VERIFICATION
PROCESS 197 13.5 OVERVIEW 199 14. STATE-SPACE-BASED METHODS AND MODEL
CHECKING 201 14.1 PROPERTIES, TEMPORAL LOGIC, AND FAIRNESS 202 14.1.1
THE TEMPORAL LOGIC CTL* 204 14.2 ON-THE-FLY APPROACHES 215 14.3
PARTIAL-ORDER-BASED APPROACHES 218 14.3.1 TRACES AND VERIFICATION ISSUES
219 14.3.2 PERSISTENT SET SEARCHES 223 14.3.3 SLEEP SET SEARCHES 227
14.3.4 COVERING STEP GRAPHS 229 14.3.5 BRANCHING PROCESS TECHNIQUES 231
14.3.6 CONCLUSION 239 14.4 SYMBOLIC AND PARAMETRISED APPROACHES 241
14.4.1 SYMBOLIC REACHABILITY GRAPH 241 14.4.2 SYMMETRIES IN NETS 259
14.4.3 PARAMETRISED REACHABILITY GRAPH 260 14.5 IMPLEMENTATION ISSUES
266 14.5.1 STATE-SPACE CACHING 267 14.5.2 HASHING COMPACTION 267 14.5.3
BOOLEAN MANIPULATION 268 14.5.4 SYMBOLIC MODEL CHECKING 273 X CONTENTS
14.5.5 CONCLUDING REMARKS ON IMPLEMENTATION ISSUES 273 14.6 SYNTHESIS
AND GENERAL CONCLUDING REMARKS 274 15. STRUCTURAL METHODS 277 15.1 NET
SYSTEM REDUCTIONS 278 15.1.1 A BASIC KIT OF REDUCTION RULES 280 15.1.2
IMPLICIT PLACES 281 15.2 LINEAR ALGEBRAIC TECHNIQUES 285 15.2.1 BOUNDS
AND BOUNDEDNESS 287 15.2.2 DEADLOCK-FREENESS AND LIVENESS 288 15.2.3
STRUCTURAL LIVENESS AND LIVENESS 292 15.2.4 REVERSIBILITY AND LIVENESS
295 15.3 SIPHONS AND TRAPS 297 15.4 ANALYSIS OF NET SUBCLASSES 299
15.4.1 SOME SYNTACTICAL SUBCLASSES 300 15.4.2 FAIRNESS AND MONOPOLIES
303 15.4.3 CONFLUENCE AND DIRECTEDNESS 304 15.4.4 REACHABILITY AND THE
STATE EQUATION 306 15.4.5 ANALYSIS OF LIVENESS AND BOUNDEDNESS 306 15.5
INVARIANTS AND REDUCTIONS FOR COLOURED PETRI NETS 307 15.5.1 INVARIANTS
307 15.5.2 REDUCTIONS 312 16. DEDUCTIVE AND PROCESS-ALGEBRA-BASED
METHODS 317 16.1 A REWRITING SEMANTICS FOR ALGEBRAIC NETS . 318 16.1.1
ALGEBRAIC SPECIFICATIONS 320 16.1.2 REWRITING SPECIFICATIONS 324 16.1.3
ALGEBRAIC NETS 328 16.1.4 REWRITING SEMANTICS 334 16.1.5 FINAL REMARKS
337 16.2 ASSERTIONAL REASONING 338 16.2.1 STATE PREDICATES AND FUNCTIONS
341 16.2.2 BASIC ASSERTIONS 341 16.2.3 SAFETY ASSERTIONS 342 16.2.4
LIVENESS ASSERTIONS 347 16.2.5 ELEMENTARY COMPOSITIONALITY 351 16.2.6 A
SIMPLE EXAMPLE 353 16.2.7 EXTENSIONS OF THE LOGIC 359 16.2.8 COMBINATION
WITH OTHER METHODS 360 16.2.9 FINAL REMARKS 361 16.3 A LOGIC OF
ENABLEMENT 361 16.3.1 MORPHISMS, REDUCTIONS, AND SIMULATION 362 16.3.2 A
TEMPORAL LOGIC FOR NETS 364 16.3.3 THE CONCEPT OF A TEST NET 367 16.3.4
EXAMPLE: MUTEX 368 CONTENTS XI 16.4 LINEAR LOGIC AND PETRI NETS 370
16.4.1 BASIC RELATIONSHIP 371 16.4.2 SPECIFICATION OF NET PROPERTIES 374
16.4.3 LINEAR LOGIC FOR REPRESENTATION OF COLOURED NETS 375 16.4.4 THE
PRINCIPLE OF BACKWARD REASONING 377 16.4.5 NONDETERMINISTIC TRANSITIONS
377 16.4.6 BIBLIOGRAPHIC REMARKS 381 16.5 VERIFYING PETRI NET MODELS
USING PROCESS ALGEBRA 382 16.5.1 METHOD 382 16.5.2 HIERARCHICAL
PLACE/TRANSITION NETS 384 16.5.3 A BRIEF INTRODUCTION TO PROCESS ALGEBRA
385 16.5.4 THE PRODUCTION UNIT 388 16.5.5 CONCLUDING REMARKS 397 17.
CONCLUSION 399 PART IV. VALIDATION AND EXECUTION 18. INTRODUCTION 403
19. SYSTEMS ENGINEERING AND VALIDATION 405 19.1 SOFTWARE LIFE-CYCLE AND
VALIDATION 405 19.2 VALIDATION -. 406 19.3 PROTOTYPING AS AN APPROACH
408 19.3.1 THE ORIGINAL PROBLEMS 408 19.3.2 PROTOTYPING TAXONOMY 409
19.3.3 KEY ISSUES IN PROTOTYPING 410 19.3.4 EXTENDED DEFINITION OF
PROTOTYPING 411 19.4 TOOLS 412 20. NET EXECUTION 417 20.1 CENTRALISED
CONTROL 420 20.2 DISTRIBUTION OF CONTROL OVER PLACES 421 20.3
DISTRIBUTION OF CONTROL OVER EDGES 427 20.4 MULTITHREADING AND
SYNCHRONISATION 428 20.5 ASYNCHRONY 429 20.6 CONCLUSION 431 21. CODE
GENERATION 433 21.1 PETRI NET APPROACHES TO CODE GENERATION 435 21.1.1
STATE OF THE ART 435 21.1.2 PARALLEL INTERPRETATION OF A PETRI NET 437
21.2 A PETRI NET PARTITIONING ALGORITHM 440 21.2.1 TRANSFORMATION INTO A
STRUCTURAL MODEL 440 21.2.2 COMPUTATION AND SELECTION OF POSITIVE PLACE
INVARIANTS 441 XII CONTENTS 21.2.3 EVALUATION OF PARTITIONING PROPERTIES
442 21.2.4 COMPUTATION OF PROTOTYPE OBJECTS 443 21.2.5 SPEEDING UP THE
ALGORITHM 445 21.2.6 NET TRANSFORMATION WHEN THE ALGORITHM FAILS 446
21.3 SOME ASPECTS OF CODE GENERATION FROM PETRI NETS 448 21.3.1 ON THE
IMPLEMENTATION OF PROTOTYPE OBJECTS 448 21.3.2 PROTOTYPE AND EXECUTION
ENVIRONMENT 453 21.3.3 MAPPING PROCESSES ONTO A GIVEN ARCHITECTURE 454
21.3.4 PLACE INVARIANTS AND PIPELINE DETECTION 459 21.4 CODE GENERATION
FROM A HIGH-LEVEL NET 461 21.4.1 ASSOCIATION WITH A HIGH-LEVEL FORMALISM
462 21.4.2 AN EXAMPLE OF WORK BASED ON A PRE-EXISTING HIGH-LEVEL
FORMALISM 462 21.4.3 AN EXAMPLE OF A HIGH-LEVEL FORMALISM DEDICATED TO
CODE GENERATION: H-COSTAM 463 21.4.4 IMPLEMENTATION OF ENHANCED
PROTOTYPE OBJECTS 466 21.5 CONCLUSION 467 22. CONCLUSION , 469 PART V.
APPLICATION DOMAINS 23. INTRODUCTION . 473 23.1 PUTTING PETRI NETS TO
WORK 473 23.2 DOMAINS OF APPLICATION 474 23.2.1 MANUFACTURING 474 23.2.2
WORKFLOW MANAGEMENT 475 23.2.3 TELECOMMUNICATIONS 475 23.2.4 OTHER
APPLICATION DOMAINS 476 24. FLEXIBLE MANUFACTURING SYSTEMS 479 24.1 A
BRIEF OVERVIEW OF THE DOMAIN 479 24.2 USING PETRI NETS IN FMS 484 24.3 A
DESIGN APPROACH 490 24.3.1 AN INTUITIVE INTRODUCTION TO A CLASS OF NETS
490 24.3.2 AUTOMATION OF THE MODELLING PROCESS 494 24.3.3 USING
STRUCTURAL ANALYSIS FOR SYSTEM CONTROL 497 24.4 CONCLUSION 505 25.
WORKFLOW SYSTEMS 507 25.1 AN OVERVIEW OF THE DOMAIN 507 25.2 MOTIVATION
510 25.2.1 FORMAL LANGUAGE .512 25.2.2 ANALYSIS TECHNIQUES 513 CONTENTS
XIII 25.3 DESIGN METHODOLOGY 513 25.3.1 TASKS AND TRANSITIONS 516 25.3.2
LOGISTICS AND TRANSITIONS 517 25.3.3 CASE AND TOKENS 520 25.3.4 CASE
STUDY: JUSTICE DEPARTMENT 520 25.3.5 BUSINESS PROCESS DEFINITION 522
25.4 WORKFLOW ANALYSIS 523 25.4.1 STRUCTURAL ANALYSIS 524 25.4.2 DYNAMIC
ANALYSIS 530 25.5 LESSONS LEARNED: THE SAGITTA-2000 CASE 537 25.6
CONCLUSION 539 26. TELECOMMUNICATIONS SYSTEMS 541 26.1 OVERVIEW OF THE
DOMAIN 541 26.1.1 THE IN ARCHITECTURE 542 26.1.2 THE IN SERVICE
PROCESSING 543 26.1.3 CONCLUSION 545 26.2 MOTIVATION 545 26.3 DESIGN
METHODOLOGY 547 26.3.1 THE OF-CLASS MODEL OF A BASIC TELECOMMUNICATIONS
SYSTEM 547 26.3.2 THE OF-CLASS MODEL OF A CFU TELECOMMUNICATIONS SYSTEM
553 26.3.3 THE OF-CLASS MODEL OF AN IN TELECOMMUNICATIONS SYSTEM 557
26.3.4 FROM OF-CLASS TO OF-CPN: THE PRINCIPLES OF THE TRANSFORMATION
559 26.3.5 FROM OF-CLASS TO OF-CPN: ILLUSTRATION OF THE TRANSFORMATION
560 26.4 ANALYSIS 561 26.4.1 OVERVIEW OF ANALYSIS WITH PETRI NETS IN THE
AREA OF TELECOMMUNICATIONS SYSTEMS 561 26.4.2 ANALYSIS OF THE IN MODEL:
DETECTION OF FEATURE INTERACTION 562 26.5 CONCLUSION 566 27. CONCLUSION
567 27.1 COMMON MODELLING PROBLEMS 567 27.2 SHARED ANALYSIS RESULTS 568
REFERENCES 571 INDEX 601
|
| any_adam_object | 1 |
| author | Girault, Claude |
| author_facet | Girault, Claude |
| author_role | aut |
| author_sort | Girault, Claude |
| author_variant | c g cg |
| building | Verbundindex |
| bvnumber | BV014861158 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F67 |
| callnumber-search | QA76.9.F67 |
| callnumber-sort | QA 276.9 F67 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 132 |
| ctrlnum | (OCoLC)248269550 (DE-599)BVBBV014861158 |
| dewey-full | 004/.01/51 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/51 |
| dewey-search | 004/.01/51 |
| dewey-sort | 14 11 251 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01785nam a2200469zc 4500</leader><controlfield tag="001">BV014861158</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050718 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">021105s2003 xxua||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">965793958</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540412174</subfield><subfield code="9">3-540-41217-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248269550</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014861158</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F67</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/51</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Girault, Claude</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Petri nets for systems engineering</subfield><subfield code="b">a guide to modeling, verification, and applications</subfield><subfield code="c">Claude Girault, Rüdiger Valk</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 607 S.</subfield><subfield code="b">Ill.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de sistemas de computação</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Petri netwerken</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redes de petri</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri nets</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Valk, Rüdiger</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010049327&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010049327</subfield></datafield></record></collection> |
| id | DE-604.BV014861158 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:08:03Z |
| institution | BVB |
| isbn | 3540412174 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010049327 |
| oclc_num | 248269550 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-824 DE-573 DE-29T DE-384 DE-Aug4 DE-522 DE-634 DE-83 |
| owner_facet | DE-473 DE-BY-UBG DE-824 DE-573 DE-29T DE-384 DE-Aug4 DE-522 DE-634 DE-83 |
| physical | XVI, 607 S. Ill. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| spelling | Girault, Claude Verfasser aut Petri nets for systems engineering a guide to modeling, verification, and applications Claude Girault, Rüdiger Valk Berlin [u.a.] Springer 2003 XVI, 607 S. Ill. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Engenharia de sistemas de computação larpcal Petri netwerken gtt Redes de petri larpcal Formal methods (Computer science) Petri nets Systems engineering Petri-Netz (DE-588)4045388-1 gnd rswk-swf Petri-Netz (DE-588)4045388-1 s DE-604 Valk, Rüdiger Sonstige oth HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010049327&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Girault, Claude Petri nets for systems engineering a guide to modeling, verification, and applications Engenharia de sistemas de computação larpcal Petri netwerken gtt Redes de petri larpcal Formal methods (Computer science) Petri nets Systems engineering Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4045388-1 |
| title | Petri nets for systems engineering a guide to modeling, verification, and applications |
| title_auth | Petri nets for systems engineering a guide to modeling, verification, and applications |
| title_exact_search | Petri nets for systems engineering a guide to modeling, verification, and applications |
| title_full | Petri nets for systems engineering a guide to modeling, verification, and applications Claude Girault, Rüdiger Valk |
| title_fullStr | Petri nets for systems engineering a guide to modeling, verification, and applications Claude Girault, Rüdiger Valk |
| title_full_unstemmed | Petri nets for systems engineering a guide to modeling, verification, and applications Claude Girault, Rüdiger Valk |
| title_short | Petri nets for systems engineering |
| title_sort | petri nets for systems engineering a guide to modeling verification and applications |
| title_sub | a guide to modeling, verification, and applications |
| topic | Engenharia de sistemas de computação larpcal Petri netwerken gtt Redes de petri larpcal Formal methods (Computer science) Petri nets Systems engineering Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Engenharia de sistemas de computação Petri netwerken Redes de petri Formal methods (Computer science) Petri nets Systems engineering Petri-Netz |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010049327&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT giraultclaude petrinetsforsystemsengineeringaguidetomodelingverificationandapplications AT valkrudiger petrinetsforsystemsengineeringaguidetomodelingverificationandapplications |