The BRITNeY Suite Animation Tool-Reference-Cited by-同舟云学术

The BRITNeY Suite Animation Tool

Published:2006 Issue: Volume: Page:431-440
ISSN:0302-9743
Container-title:Petri Nets and Other Models of Concurrency - ICATPN 2006
language:
Short-container-title:

Author:

Westergaard Michael,Lassen Kristian Bisgaard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11767589_26.pdf

Reference25 articles.

1. Lecture Notes in Computer Science;J. Bengtsson,2004

2. Bossen, C., Jørgensen, J.B.: Context-descriptive prototypes and their application to medicine administration. In: DIS 2004: Proc. of the 2004 conference on Designing interactive systems, Boston, MA, USA, pp. 297–306. ACM Press, New York (2004)

3. CPN Tools, Online: www.daimi.au.dk/CPNTools/

4. Design/CPN, Online: www.daimi.au.dk/designCPN/

5. Gallasch, G., Kristensen, L.M.: A Communication Infrastructure for External Communication with Design/CPN. In: Proc. of Third CPN Workshop, DAIMI, vol. PB-554, pp. 79–93 (2001)

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

1. Gamification of Declarative Process Models for Learning and Model Verification;Business Process Management Workshops;2016

2. Colored Petri nets;Communications of the ACM;2015-05-21

3. CPN Tools 4: Multi-formalism and Extensibility;Application and Theory of Petri Nets and Concurrency;2013

4. Applications of Coloured Petri Nets for Functional Validation of Protocol Designs;Transactions on Petri Nets and Other Models of Concurrency VII;2013

5. CPN Assistant II: A Tool for Management of Networked Simulations;Lecture Notes in Computer Science;2012