A Modelling Approach with Coloured Petri Nets-Reference-Cited by-同舟云学术

A Modelling Approach with Coloured Petri Nets

Published: Issue: Volume: Page:73-86
ISSN:
Container-title:Reliable Software Technologies – Ada-Europe 2008
language:
Short-container-title:

Author:

Choppy Christine,Petrucci Laure,Reggio Gianna

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68624-8_6.pdf

Reference8 articles.

1. Berthelot, G., Petrucci, L.: Specification and validation of a concurrent system: An educational project. Journal of Software Tools for Technology Transfer 3(4), 372–381 (2001)

2. Choppy, C., Petrucci, L.: Towards a methodology for modelling with Petri nets. In: Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark, October 2004, pp. 39–56 (2004) Report DAIMI-PB 570, Aarhus, DK

3. Choppy, C., Petrucci, L., Reggio, G.: Designing coloured Petri net models: a method. In: Proc. Workshop on Practical Use of Coloured Petri Nets, Aarhus, Denmark (October 2007)

4. Choppy, C., Reggio, G.: A formally grounded software specification method. Journal of Logic and Algebraic Programming 67(1-2), 52–86 (2006)

5. Coad, P., Yourdon, E.: Object-Oriented Analysis. Prentice-Hall, Englewood Cliffs (1991)

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

1. Multi-agent communication-based train control system for Indian railways: the behavioural analysis;Journal of Modern Transportation;2015-08-01

2. From SysML State Machines to Petri Nets Using ATL Transformations;Technological Innovation for Collective Awareness Systems;2014

3. From Code to Coloured Petri Nets: Modelling Guidelines;Transactions on Petri Nets and Other Models of Concurrency VIII;2013

4. Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models;Model-Based Methodologies for Pervasive and Embedded Software;2013

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