Augmented Marked Graphs

Augmented Marked Graphs

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Cheung, King Sing (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2014.
Θέματα:	Computer science. Software engineering. Computers. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Graph and Model Transformation General Framework and Applications /
ανά: Ehrig, Hartmut, κ.ά.
Έκδοση: (2015)

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings /
Έκδοση: (2008)

Models of Computation
ανά: Bruni, Roberto, κ.ά.
Έκδοση: (2017)

Practical Distributed Processing
ανά: Brooke, Phillip J., κ.ά.
Έκδοση: (2008)

Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings /
Έκδοση: (2008)

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies /
ανά: Reisig, Wolfgang
Έκδοση: (2013)

Soft Real-Time Systems Predictability vs. Efficiency /
ανά: Buttazzo, Giorgio, κ.ά.
Έκδοση: (2005)

Decision Procedures An Algorithmic Point of View /
ανά: Kroening, Daniel, κ.ά.
Έκδοση: (2016)

Flash Application Design Solutions The Flash Usability Handbook /
ανά: Cheung, Ka Wai, κ.ά.
Έκδοση: (2006)

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings /
Έκδοση: (2006)

Rigorous Development of Complex Fault-Tolerant Systems
Έκδοση: (2006)

Software Configuration Management Using Vesta
ανά: Heydon, Allan, κ.ά.
Έκδοση: (2006)

Software Engineering 2 Specification of Systems and Languages /
ανά: Bjørner, Dines
Έκδοση: (2006)

Software Engineering 3 Domains, Requirements, and Software Design /
ανά: Bjøner, Dines
Έκδοση: (2006)

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /
Έκδοση: (2009)

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings /
Έκδοση: (2006)

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
Έκδοση: (2009)

Tools for High Performance Computing 2009 Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden /
Έκδοση: (2010)

Tools for High Performance Computing Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart /
Έκδοση: (2008)

Grid Computing Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers /
Έκδοση: (2004)

Distributed Computing - IWDC 2003 5th International Workshop, Kolkata, India, December 27-30, 2003. Proceedings /
Έκδοση: (2003)

Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings /
Έκδοση: (2005)

Process Algebras for Petri Nets The Alphabetization of Distributed Systems /
ανά: Gorrieri, Roberto
Έκδοση: (2017)

Mathematical and Computer Programming Techniques for Computer Graphics
ανά: Comninos, Peter
Έκδοση: (2006)

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /
ανά: Prodan, Radu, κ.ά.
Έκδοση: (2007)

Agile Software Construction
ανά: Hunt, John
Έκδοση: (2006)

Principles of Distributed Systems 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /
Έκδοση: (2004)

Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings /
Έκδοση: (2007)

Architecting Dependable Systems III
Έκδοση: (2005)

Beginning J2ME: From Novice to Professional
ανά: Li, Sing, κ.ά.
Έκδοση: (2005)

Virtual Machines
ανά: Craig, Iain D.
Έκδοση: (2006)

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations /
ανά: Raynal, Michel
Έκδοση: (2013)

Fundamentals of Algebraic Graph Transformation
ανά: Ehrig, Hartmut
Έκδοση: (2006)

Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulation /
ανά: Siegfried, Robert
Έκδοση: (2014)

Introduction to Concurrency Theory Transition Systems and CCS /
ανά: Gorrieri, Roberto, κ.ά.
Έκδοση: (2015)

Petri Net Synthesis
ανά: Badouel, Eric, κ.ά.
Έκδοση: (2015)

Game Development Tool Essentials
ανά: Ardolino, Alessandro, κ.ά.
Έκδοση: (2014)

Unboxing Android USB A Hands-On Approach with Real World Examples /
ανά: Regupathy, Rajaram
Έκδοση: (2014)

Rolling Out 5G Use Cases, Applications, and Technology Solutions /
ανά: Badic, Biljana, κ.ά.
Έκδοση: (2016)

Hardening Azure Applications
ανά: Machiraju, Suren, κ.ά.
Έκδοση: (2015)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών