LEADER 00000nam a22004455i 4500 
001    978-3-319-06428-4 
003    DE-He213 
005    20151204191111.0 
007    cr nn 008mamaa 
008    140625s2014    gw      s    |||| 0|eng d 
020    9783319064284|9978-3-319-06428-4 
024 7  10.1007/978-3-319-06428-4|2doi 
040    |dES-ZaU 
072  7 UY|2bicssc 
072  7 UYA|2bicssc 
072  7 COM014000|2bisacsh 
072  7 COM031000|2bisacsh 
082 04 004.0151|223 
100 1  Cheung, King Sing.|eauthor. 
245 10 Augmented Marked Graphs|h[electronic resource] /|cby King 
       Sing Cheung. 
264  1 Cham :|bSpringer International Publishing :|bImprint: 
       Springer,|c2014. 
300    XIV, 150 p. 82 illus.|bonline resource. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
347    text file|bPDF|2rda 
490 0  Springer eBooks.|aComputer Science 
505 0  Introduction -- Petri Nets -- Augmented Marked Graphs -- 
       Proper Augmented Marked Graphs -- Composition of Augmented
       Marked Graphs -- Modelling and Analysis -- Component-Based
       System Integration -- Manufacturing System Integration -- 
       Conclusion -- App. A, Properties of Augmented Marked 
       Graphs -- App. B, Algorithms for Checking the Properties 
       of Augmented Marked Graphs -- Index References. 
520    Petri nets are a formal and theoretically rich model for 
       the modelling and analysis of systems. A subclass of Petri
       nets, augmented marked graphs possess a structure that is 
       especially desirable for the modelling and analysis of 
       systems with concurrent processes and shared resources. 
       This monograph consists of three parts: Part I provides 
       the conceptual background for readers who have no prior 
       knowledge on Petri nets; Part II elaborates the theory of 
       augmented marked graphs; finally, Part III discusses the 
       application to system integration. The book is suitable as
       a first self-contained volume on augmented marked graphs, 
       and will be useful to both researchers and practitioners 
       in the fields of Petri nets and system integration. 
650  0 Computer science. 
650  0 Software engineering. 
650  0 Computers. 
650 14 Computer Science. 
650 24 Theory of Computation. 
650 24 Software Engineering/Programming and Operating Systems. 
710 2  SpringerLink (Online service) 
773 0  |tSpringer eBooks 
776 08 |iPrinted edition:|z9783319064277 
856 40 |uhttps://cuarzo.unizar.es:9443/login?url=https://
       dx.doi.org/10.1007/978-3-319-06428-4|zAcceso al texto 
       completo