Cargando…

Time and Petri Nets

At first glance the concepts of time and of Petri nets are quite contrary: while time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and they represent events as concurrent systems. But if we take a closer look at how time and causality are i...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Popova-Zeugmann, Louchka (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:	1st ed. 2013.
Temas:	Computer science. Software engineering. Bioinformatics. Theory of Computation. Software Engineering. Computational and Systems Biology.
Acceso en línea:	Texto Completo

Ejemplares similares

Petri Net Synthesis
por: Badouel, Eric, et al.
Publicado: (2015)

Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers /
Publicado: (2012)

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies /
por: Reisig, Wolfgang
Publicado: (2013)

Computational Science and Its Applications -- ICCSA 2009 International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part I /
Publicado: (2009)

Computational Science and Its Applications - ICCSA 2009 International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part II /
Publicado: (2009)

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings /
Publicado: (2007)

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings /
Publicado: (2008)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings /
Publicado: (2010)

Application and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings /
Publicado: (2011)

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings /
Publicado: (2009)

Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers /
Publicado: (2012)

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings /
Publicado: (2005)

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)

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

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

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings /
Publicado: (2012)

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)

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings /
Publicado: (2013)

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings /
Publicado: (2016)

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
Publicado: (2015)

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings /
Publicado: (2014)

Applications of Membrane Computing
Publicado: (2006)

Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II /
Publicado: (2013)

Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I /
Publicado: (2013)

Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I /
Publicado: (2015)

Foundations on Natural and Artificial Computation 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I /
Publicado: (2011)

New Challenges on Bioinspired Applications 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part II /
Publicado: (2011)

Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II /
Publicado: (2015)

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
Publicado: (2013)

IT Revolution First International ICST Conference, IT Revolutions 2008, Venice, Italy, December 17-19, 2008, Revised Selected Papers /
Publicado: (2009)

Multimedia Signals and Systems
por: Stanković, Srdjan, et al.
Publicado: (2012)

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings /
Publicado: (2014)

Pattern Recognition and Machine Intelligence 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013. Proceedings /
Publicado: (2013)

Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings /
Publicado: (2015)

Soft Real-Time Systems: Predictability vs. Efficiency Predictability vs. Efficiency /
por: Buttazzo, Giorgio C., et al.
Publicado: (2005)

Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings /
Publicado: (2008)

Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings /
Publicado: (2007)

Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers /
Publicado: (2005)

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
Publicado: (2015)

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_3e9girod680ako2cg5dfd6r4j7