On the Integration of UML and Petri Nets in Software Development-Reference-Cited by-同舟云学术

On the Integration of UML and Petri Nets in Software Development

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

Author:

Campos Javier,Merseguer José

Publisher

Springer Berlin Heidelberg

Link

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

Reference48 articles.

1. Murata, T.: Petri nets: Properties, analysis, and applications. Proceedings of the IEEE 77(4), 541–580 (1989)

2. DiCesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F.: Practice of Petri Nets in Manufacturing. Chapman & Hall, London (1993)

3. Ajmone Marsan, M., Balbo, G., Conte, G.: Performance Models of Multiprocessor Systems. MIT Press, Cambridge (1986)

4. Lecture Notes in Computer Science,1999

5. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley Series in Parallel Computing - Chichester (1995)

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

1. Model Synthesis, Planning, Scheduling and Simulation of Health-Care Delivery Systems Using Petri Nets;Industrial Information Technology;2014-02-10

2. Strongly consistent transformation of partial scenarios;ACM SIGSOFT Software Engineering Notes;2012-07-16

3. Scenario-Based Modeling in Industrial Information Systems;Distributed, Parallel and Biologically Inspired Systems;2010

4. Verification, Validation, and Accreditation;Verification and Validation in Systems Engineering;2010

5. Experiences in Model Driven Verification of Behavior with UML;Foundations of Computer Software. Future Trends and Techniques for Development;2010