✦ LIBER ✦

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 5504 || Minimal Cost Reachability/Coverability in Priced Timed Petri Nets

✍ Scribed by de Alfaro, Luca

Book ID: 120617273
Publisher: Springer Berlin Heidelberg
Year: 2009
Weight: 301 KB
Category: Article
ISBN: 3642005969
DOI: 10.1007/978-3-642-00596-1_25

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 4423 || Model-Checking One-Clock Priced Timed Automata

✍ Seidl, Helmut 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 318 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 7794 || Reachability of Communicating Timed Processes

✍ Pfenning, Frank 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 275 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1978 Volume 64 || Free Petri net languages

✍ Winkowski, J. 📂 Article 📅 1978 🏛 Springer Berlin Heidelberg ⚖ 564 KB

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advances in Petri Nets 1993 Volume 674 || Autonomous and timed continuous Petri nets

✍ Rozenberg, Grzegorz 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 979 KB

[Lecture Notes in Computer Science] Appl

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2001 Volume 2075 || Condensed State Spaces for Timed Petri Nets

✍ Colom, José-Manuel; Koutny, Maciej 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 305 KB

This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 100{150 participants { one

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 6604 || What Do Reversible Programs Compute?

✍ Hofmann, Martin 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 271 KB

This Book Constitutes The Refereed Proceedings Of The 14th International Conference On Foundations Of Software Science And Computational Structures, Fossacs 2011, Held In Saarbrücken, Germany, March 26—april 3, 2011, As Part Of Etaps 2011, The European Joint Conferences On Theory And Practice Of Sof