Author:
Majster-Cederbaum Mila,Minnameier Christoph
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science;A. Aldini,2003
2. Lecture Notes in Computer Science;N. Aoumeur,1999
3. Aoumeur, N., Saake, G.: A Component-based Petri Net Model for Specifying and Validating Cooperative Information Systems. Data Knowl. Eng. 42(2), 143–187 (2002)
4. Bastide, R., Barboni, E.: Component-based Behavioural Modelling with High-Level Petri Nets. In: Proceedings of MOCA 2004, pp. 37–46 (2004)
5. Bastide, R., Barboni, E.: Software Components: a Formal Semantics Based on Coloured Petri Nets. In: Proceedings of FACS 2005. ENTCS, vol. 160, pp. 57–73 (2006)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献