✦ LIBER ✦

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 6116 || Modelling Railway Interlocking Tables Using Coloured Petri Nets

✍ Scribed by Clarke, Dave; Agha, Gul

Book ID: 120322385
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 410 KB
Category: Article
ISBN: 3642134149
DOI: 10.1007/978-3-642-13414-2_10

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Petr

[Lecture Notes in Computer Science] Petri Nets: Central Models and Their Properties Volume 254 || Language theory of Petri nets

✍ Brauer, W.; Reisig, W.; Rozenberg, G. 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 702 KB

[Lecture Notes in Computer Science] Tran

[Lecture Notes in Computer Science] Transactions on Petri Nets and Other Models of Concurrency I Volume 5100 || Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets

✍ Jensen, Kurt; van der Aalst, Wil M. P.; Billington, Jonathan 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 223 KB

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

[Lecture Notes in Computer Science] Tran

[Lecture Notes in Computer Science] Transactions on Petri Nets and Other Models of Concurrency VII Volume 7480 || Business Process Modeling Using Petri Nets

✍ Jensen, Kurt; van der Aalst, Wil M. P.; Balbo, Gianfranco; Koutny, Maciej; Wolf, 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 617 KB

[Lecture Notes in Computer Science] Petr

[Lecture Notes in Computer Science] Petri Nets: Central Models and Their Properties Volume 254 || FIFO-nets

✍ Brauer, W.; Reisig, W.; Rozenberg, G. 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 738 KB

[Lecture Notes in Computer Science] Appl

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets Volume 5606 || Oclets – Scenario-Based Modeling with Petri Nets

✍ Franceschinis, Giuliana; Wolf, Karsten 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 534 KB

[Lecture Notes in Computer Science] Appl

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2003 Volume 2679 || Modelling Mobility and Mobile Agents Using Nets within Nets

✍ van der Aalst, Wil M. P.; Best, Eike 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 634 KB

The refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions.