𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

✍ Scribed by Berthomieu *, B.; Ribet, P.-O.; Vernadat, F.

Book ID
120016293
Publisher
Taylor and Francis Group
Year
2004
Tongue
English
Weight
273 KB
Volume
42
Category
Article
ISSN
0020-7543

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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] Tool
[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2619 || State Class Constructions for Branching Analysis of Time Petri Nets
✍ Garavel, Hubert; Hatcliff, John 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 772 KB

This Book Constitutes The Refereed Proceedings Of The 9th International Conference On Tools And Algorithms For The Construction And Analysis Of Systems, Tacas 2003, Held In Warsaw, Poland, In April 2003. The 43 Revised Full Papers Presented Were Carefully Reviewed And Selected From 160 Submissions.