Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets-Reference-Cited by-同舟云学术

Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets

Published:2002 Issue: Volume: Page:294-313
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets 2002
language:
Short-container-title:

Author:

Lorentsen Louise,Tuovinen Antti-Pekka,Xu Jianli

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48068-4_18

Reference23 articles.

1. D. Amyot, L. Charfi, N. Gorse, T. Gray, L. Logrippo, J. Sincennes, B. Stepien, and T. Ware. Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. In M. Calder and E. Magill, editors, Feature Interactions in Telecommunications and Software Systems, volume VI, Amsterdam, May 2000. IOS Press.

2. M. Calder, M. Kolberg, E. H. Magill, and S. Reiff-Marganiec. Feature Interaction: A Critical Review and Considered Forecast. Submitted for publication. On-line version: http://www.dcs.gla.ac.uk/~muffy/papers/calder-kolberg-magill-reiff.pdf .

3. M. Calder and E. Magill. Feature Interactions in Telecommunications and Software Systems VI. IOS Press, 2000.

4. Lect Notes Comput Sci;M. Calder,2001

5. A. Cheng, S. Christensen, and K. Mortensen. Model Checking Coloured Petri Nets Exploiting Strongly Connected Components. In M. Spathopoulos, R. Smedinga, and P. Kozák, editors, Proceedings of WODES’96. Institution of Electrical Engineers, Computing and Control Division, Edinburgh, UK, 1996.

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

1. Tool Support for Estimating the Memory Usage of Mobile Phone Software;International Journal on Software Tools for Technology Transfer;2006-07-04

2. Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development;Petri Nets and Other Models of Concurrency - ICATPN 2006;2006

3. The BRITNeY Suite Animation Tool;Petri Nets and Other Models of Concurrency - ICATPN 2006;2006

4. Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks;Lecture Notes in Computer Science;2005

5. Application of Coloured Petri Nets in System Development;Lectures on Concurrency and Petri Nets;2004