English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77
Introduction to Programming with Fortran - with coverage of Fortran 90, 95, 2003 and 77
MATLAB - Modelling, Programming and Simulations
-MATLAB: Modelling, Programming and Simulations- ed. by Emilson Pereira Leite (Repost)
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77 [Repost]
An Introduction to Programming and Numerical Methods in MATLAB [Repost]
"MATLAB: Modelling, Programming and Simulations" ed. by Emilson Pereira Leite (Repost)
Programming Social Applications: Building Viral Experiences with OpenSocial, OAuth, OpenID, and Distributed Web... (repost)
MATLAB Programming for Engineers (2nd edition) [Repost]
Sriranga Veeraraghavan, "Sams Teach Yourself Shell Programming in 24 Hours" (Repost)
Programming Computer Vision with Python - Tools and algorithms for analyzing images
Matlab: A Practical Introduction to Programming and Problem Solving (2nd edition) [Repost]
ECOOP 2011 - Object-Oriented Programming
Mobile JavaScript Application Development - Bringing Web Programming to Mobile Devices [Paperback]
Concurrent Programming on Windows (repost)
Expert WSS 3.0 and MOSS 2007 Programming (repost)
Embedded Software Design and Programming of Multiprocessor System-on-Chip (repost)
OpenCV 2 Computer Vision Application Programming Cookbook
Programming Computer Vision with Python: Tools and algorithms for analyzing images
Useful Links
Programming Entscheidbarkeit bei Petri Netzen: Überblick und Kom
Posted on 2010-03-16
|  |
More Harro Wimmel, "Entscheidbarkeit bei Petri Netzen: Überblick und Kom" Petri Netze sind das meist beachtete und am besten untersuchte Modell für parallele Rechnungen und Stellen/Transitionennetze, die bekannteste und wichtigste Klasse von Petri Netzen. In diesem Buch werden erstmals systematisch alle wichtigen Fragen zur Entscheidbarkeit für klassische Stellen/Transitionennetze zusammengestellt und behandelt. Dazu gehören neben dem Erreichbarkeitsproblem weitere Fragen, die sich mit Markierungen und Sprachen von Petri Netzen befassen, wie z.B. Fragen nach der Erreichbarkeit von Mengen von Markierungen, der Reproduktion von Markierungen und verschiedenen Lebendigkeitsbegriffen, oder die Frage, ob die Sprache eines Petri Netzes z.B. leer, endlich, total, regulär, gleich einer anderen Sprache ist. Dabei werden verschiedene klassische Sprach- und Akzeptanzmodelle von Petri Netzen in Betracht gezogen. Über die üblichen Stellen/Transitionennetze hinaus werden einige Erweiterungen von Netzen in Bezug auf die Entscheidbarkeit von Erreichbarkeit, Beschränktheit und Überdeckbarkeit beleuchtet.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (Depositfiles) | Alive |
| Download Link (Mirror) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Science/Engineering Entscheidbarkeit bei Petri Netzen: Überblick und Kompendium Harro Wimmel “Entscheidbarkeit bei Petri Netzen: Überblick und Kom" Springer | 2008-10-01 | ISBN: 3540854703 | 246 pages | PDF | 3,06 MB Petri Netze sind das meist beachtete und am besten untersuchte Modell für parallele Rechnungen u ... |
 | Programming Lectures on Concurrency and Petri Nets: Advances in Petri Nets Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg, "Lectures on Concurrency and Petri Nets: Advances in Petri Nets" Springer | 2004-08-05 | ISBN: 3540222618 | 849 pages | PDF | 16,1 MB This tutorial volume originates from the 4th Advance ... |
 | Science/Engineering Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009 Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues): Giuliana Franceschinis, Karsten Wolf S ... |
| IT Certification Entscheidbarkeit bei Petri Netzen: ¨¹berblick und Kompendium Harro Wimmel ¡°Entscheidbarkeit bei Petri Netzen: ¨¹berblick und Kom" Springer | 2008-10-01 | ISBN: 3540854703 | 246 pages | PDF | 3,06 MB Petri Netze sind das meist beachtete und am besten untersuchte Modell f¨¹r parallele Rechnu ... |
 | Tutorial Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science) By Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg Publisher: Springer | ISBN: 354041942X | edition 2001 | PDF | 539 p ... |
| Technical Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) ISBN: 3642024238 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in ... |
Comments (0)
