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.
|
Θέματα: | |
Διαθέσιμο 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) -
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies /
ανά: Reisig, Wolfgang
Έκδοση: (2013)