Cargando…

Coloured Petri Nets Modelling and Validation of Concurrent Systems /

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and t...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Jensen, Kurt (Autor), Kristensen, Lars M. (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:	1st ed. 2009.
Temas:	Software engineering. Computer science. Computer simulation. Computer engineering. Computer networks . Software Engineering. Theory of Computation. Computer Modelling. Computer Engineering and Networks.
Acceso en línea:	Texto Completo

Ejemplares similares

Transactions on Petri Nets and Other Models of Concurrency V
Publicado: (2012)

Transactions on Petri Nets and Other Models of Concurrency IV
Publicado: (2010)

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems /
Publicado: (2009)

Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings /
Publicado: (2007)

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings /
Publicado: (2005)

Transactions on Petri Nets and Other Models of Concurrency VI
Publicado: (2012)

Recent Advances in the Message Passing Interface 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings /
Publicado: (2011)

Recent Advances in the Message Passing Interface 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings /
Publicado: (2012)

Recent Advances in the Message Passing Interface 17th European MPI User's Group Meeting, EuroMPI 2010, Stuttgart, Germany, September12-15, 2010, Proceedings /
Publicado: (2010)

Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings /
Publicado: (2009)

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings /
Publicado: (2008)

Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings /
Publicado: (2012)

Job Scheduling Strategies for Parallel Processing 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers /
Publicado: (2015)

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /
Publicado: (2005)

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers /
Publicado: (2014)

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers /
Publicado: (2013)

Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers /
Publicado: (2010)

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /
Publicado: (2015)

Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011, Proceedings /
Publicado: (2011)

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings /
Publicado: (2013)

Multiagent System Technologies 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings /
Publicado: (2009)

Computational Science and Its Applications - ICCSA 2008 International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I /
Publicado: (2008)

Computational Science and Its Applications - ICCSA 2008 International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II /
Publicado: (2008)

Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011, Proceedings /
Publicado: (2011)

Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hongkong, China, March 19-23, 2012, Proceedings /
Publicado: (2012)

Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers /
Publicado: (2015)

Computational Science and Its Applications - ICCSA 2005 International Conference, Singapore, May 9-12. 2005, Proceedings, Part III /
Publicado: (2005)

Collaborative Design for Embedded Systems Co-modelling and Co-simulation /
Publicado: (2014)

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings /
Publicado: (2006)

Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers /
Publicado: (2015)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings /
Publicado: (2011)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /
Publicado: (2011)

Petri Nets and Other Models of Concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings /
Publicado: (2007)

Transactions on Computational Collective Intelligence XVIII
Publicado: (2015)

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /
Publicado: (2007)

Transactions on Computational Collective Intelligence XIX
Publicado: (2015)

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /
Publicado: (2007)

Transactions on Computational Collective Intelligence XX
Publicado: (2015)

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers /
Publicado: (2016)

Testbeds and Research Infrastructure: Development of Networks and Communities 7th International ICST Conference, TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers /
Publicado: (2012)