Loading…

Transactions on Petri Nets and Other Models of Concurrency I

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own E...

Full description

Bibliographic Details
Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	van der Aalst, Wil M. P. (Editor), Billington, Jonathan (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:	1st ed. 2008.
Series:	Transactions on Petri Nets and Other Models of Concurrency, 5100
Subjects:	Computer programming. Computer science. Computer simulation. Algorithms. Programming Techniques. Theory of Computation. Models of Computation. Computer Modelling.
Online Access:	Texto Completo

Similar Items

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

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

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

Transactions on Petri Nets and Other Models of Concurrency III
Published: (2009)

Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings /
Published: (2009)

Coloured Petri Nets Modelling and Validation of Concurrent Systems /
by: Jensen, Kurt, et al.
Published: (2009)

The Common Component Modeling Example Comparing Software Component Models /
Published: (2008)

Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering /
Published: (2009)

Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA / BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings /
Published: (2010)

Transactions on Aspect-Oriented Software Development V Focus: Aspects, Dependencies and Interactions.
Published: (2009)

Transactions on Petri Nets and Other Models of Concurrency VII
Published: (2013)

Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings /
Published: (2010)

Object Oriented Simulation A Modeling and Programming Perspective /
by: Garrido, José M.
Published: (2009)

Transactions on Foundations for Mastering Change I
Published: (2016)

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes /
Published: (2014)

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /
Published: (2008)

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers /
Published: (2016)

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

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings /
Published: (2008)

OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings /
Published: (2008)

Numerical Analysis and Its Applications 4th International Conference, NAA 2008 Lozenetz, Bulgaria, June 16-20, 2008, Revised Selected Papers /
Published: (2009)

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

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

Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers /
Published: (2010)

Algorithm Engineering Bridging the Gap Between Algorithm Theory and Practice /
Published: (2010)

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

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

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

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

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /
Published: (2008)

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

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 /
Published: (2015)

Transactions on Petri Nets and Other Models of Concurrency XI
Published: (2016)

Transactions on Petri Nets and Other Models of Concurrency X
Published: (2015)

Transactions on Petri Nets and Other Models of Concurrency VIII
Published: (2013)

Transactions on Petri Nets and Other Models of Concurrency IX
Published: (2014)

Software Process Modeling
Published: (2005)

Transactions on Aspect-Oriented Software Development VIII
Published: (2011)

Transactions on Aspect-Oriented Software Development IX
Published: (2012)

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /
Published: (2012)

Cannot write session to /tmp/vufind_sessions/sess_m2tsqtosr1ladqpolc1g9mbncb