Sign-In
Cart
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Hardcover
Series: Studies in Computational Intelligence, Book 20
Technology & EngineeringGeneral ComputersGeneral Mathematics
ISBN13: 9783540328698
Publisher: Springer Nature
Published: Jun 26 2006
Pages: 257
Weight: 1.29
Height: 0.69 Width: 6.14 Depth: 9.21
Language: English
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.
1 different editions
Also available
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Pólrola, Agata
Penczek, Wojciech
Paperback
Also in
General Mathematics
The Golden Number: Pythagorean Rites and Rhythms in the Development of Western Civilization
Ghyka, Matila C.
Hardcover
How It All Works: All Scientific Laws and Phenomena Illustrated & Demonstrated
Clegg, Brian
Dant, Adam
Hardcover
Six Easy Pieces: Essentials of Physics Explained by Its Most Brilliant Teacher
Feynman, Richard P.
Leighton, Robert B.
Sands, Matthew
Paperback
Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race
Shetterly, Margot Lee
Paperback
Oliver Byrne's Elements of Euclid: The First Six Books with Coloured Diagrams and Symbols (Art Meets Science Edition)
Art Meets Science
Hardcover
Math Practice Workbook Grades 6-8: 1000+ Questions You Need to Kill in Middle School by Brain Hunter Prep
Brain Hunter Prep
Paperback
Who Gets What -- And Why: The New Economics of Matchmaking and Market Design
Roth, Alvin E.
Paperback
The Art of Strategy: A Game Theorist's Guide to Success in Business and Life
Nalebuff, Barry J.
Dixit, Avinash K.
Paperback
WorkKeys Study Guide and Practice Test Questions: ACT WorkKeys Exam Prep and Review Book with Applied Mathematics, Locating Information, and Reading f
Trivium Exam Prep Team
Paperback
Tomoko Fuse's Amazing Kusudama Origami: Geometric Paper Art from Japan's Leading Expert!
Fuse, Tomoko
Paperback
Mastering Essential Math Skills Book 2, Bilingual Edition - English/Spanish
Fisher, Richard W.
Paperback
Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race
Shetterly, Margot Lee
Hardcover
Counting with - Contando Con Frida (Bilingual: English/Spanish): A Bilingual Counting Book
Rodriguez, Patty
Stein, Ariana
Hardcover
Math Games with Bad Drawings: 75 1/4 Simple, Challenging, Go-Anywhere Games--And Why They Matter
Orlin, Ben
Hardcover
Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race
Shetterly, Margot Lee
Paperback
The Great Math War: How Three Brilliant Minds Fought for the Foundations of Mathematics
Bardi, Jason Socrates
Hardcover
Quadrivium: The Four Classical Liberal Arts of Number, Geometry, Music, & Cosmology
Lundy, Miranda
Ashton, Anthony
Sutton, Daud
Hardcover
50 Math Tricks That Will Change Your Life: Mentally Solve the Impossible in Seconds
Zakowich, Tanya
Paperback
Graph Paper Composition Notebook: Quad Ruled 5x5, Grid Paper for Students in Math and Science
Wizo, Math
Paperback
Touchthinklearn: Numbers: (Board Books for Baby Learners, Touch Feel Books for Children)
Deneux, Xavier
Hardcover
Vector: A Surprising Story of Space, Time, and Mathematical Transformation
Arianrhod, Robyn
Hardcover
Quantum Mechanics Done Right: The Shortest Path from Novice to Researcher
Freericks, James K.
Hardcover
A Mind for Numbers: How to Excel at Math and Science (Even If You Flunked Algebra)
Oakley, Barbara
Paperback
New York Post Fiendish Sudoku: The Official Utterly Addictive Number-Placing Puzzle
Gould, Wayne
Paperback
Un Elefante: Numbers / Números (Bilingual: English/Spanish): A Bilingual Counting Book
Rodriguez, Patty
Stein, Ariana
Hardcover
ALEKS Math Placement Test Prep 2026: 1200 Verified Practice Questions with Accurate Answer Keys, Step-by-Step Worked Solutions, and Clear Concept Expl
Reid, Marcus L.
Publishing, Kettford
Paperback
Partial Differential Equations: Theory and Completely Solved Problems
Van Roessel, H.
Hillen, T.
Leonard, I. E.
Paperback
Secrets of Mental Math: The Mathemagician's Guide to Lightning Calculation and Amazing Math Tricks
Benjamin, Arthur
Shermer, Michael
Paperback
Building Thinking Classrooms in Mathematics, Grades K-12: 14 Teaching Practices for Enhancing Learning
Liljedahl, Peter
Paperback
Concrete Mathematics: A Foundation for Computer Science
Patashnik, Oren
Knuth, Donald
Graham, Ronald
Hardcover
Sudoku for Brain Fitness: 90-Day Challenge to Sharpen the Mind and Strengthen Cognitive Skills
Clontz, Steven
Demyanovich, Julie
Paperback
180 Days(r) Math for First Grade: Practice, Assess, Diagnose
Smith, Jodene
Smith, Jodene Lynn
Paperback
Number Systems and the Foundations of Analysis
Mathematics
Mendelson, Elliott
Dudley, Underwood
Paperback
Talentos Ocultos: La Genialidad No Tiene Color. La Fuerza No Tiene Género. El Valor No Tiene Límite.
Shetterly, Margot Lee
Paperback
Math Fundamentals 3 - Geometry: For Middle School - A Quickstudy Laminated Reference Guide
Expolog
Warren, Peggy
Wright, Susan
Other
It's All a Game: The History of Board Games from Monopoly to Settlers of Catan
Donovan, Tristan
Paperback
Reaching for the Extreme: How the Quest for the Biggest, Fewest, and Weirdest Makes Math
Stewart, Ian
Hardcover
The Beginner's Guide to Constructing the Universe: The Mathematical Archetypes of Nature, Art, and Science
Schneider, Michael S.
Paperback
300 Math CrossWords: Addition, Subtraction, Multiplication, and Division Math CrossWords Grade 3 and Above, Age +8
Martin, Josh Ortiz
Paperback
Medical Dosage Calculations for Dummies
Schoenborn, Barry
Snyder, Richard W.
Depuente, Vanessa
Paperback
Make: Physics: Build Projects to Explore Calculus-Based Mechanics
Horvath, Joan
Cameron, Rich
Paperback