Haskell-Coloured Petri Nets-Reference-Cited by-同舟云学术

Haskell-Coloured Petri Nets

Published:2000 Issue: Volume: Page:165-180
ISSN:0302-9743
Container-title:Implementation of Functional Languages
language:
Short-container-title:

Author:

Reinke Claus

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10722298_10

Reference17 articles.

1. World of Petri Nets: Homepage of the International Petri Net Community (1999), http://www.daimi.aau.dk/PetriNets/

2. Lecture Notes in Computer Science;C. Aßmann,1999

3. CPN group at the University of Aarhus in Denmark. Design/CPN – Computer Tool for Coloured Petri Nets (1999), http://www.daimi.aau.dk/designCPN/

4. Hielscher, W., Urbszat, L., Reinke, C., Kluge, W.: On Modelling Train Traffic in a Model Train System. In: Proceedings of the Workshop and Tutorial on Practical Use of Coloured Petri Nets and Design/CPN, Aarhus, Denmark. Technical Report PB-532, Department of Computer Science, University of Aarhus (June 1998)

5. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg (1997) (Three Volumes)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Tools for Curry-Coloured Petri Nets;Application and Theory of Petri Nets and Concurrency;2019

2. Functional Programming for Business Process Modeling;IFAC-PapersOnLine;2017-07

3. Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol;Application and Theory of Petri Nets and Concurrency;2016

4. SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper);Application and Theory of Petri Nets and Concurrency;2015

5. Towards a Certified Petri Net Model-Checker;Programming Languages and Systems;2011