[journal]
W. J. Lee
/ 1998
/ Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
/ IEEE Transactions on Software Engineering
24(12)
: 1115~1130
[book]
K. Jensen
/ 1992
/ Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume I, II, and III
/ Springer-Verlag
[confproc]
S. Yao
/ 1998
/ An Object-Oriented Model for Parallel Softwares
/ Proceedings of the 27th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS ‘98)
: 245~250
[journal]
L. Baresi
/ 2001
/ Improving UML with Petri Nets
/ Electronics Notes in Theoretical Computer Science
44(4)
: 107~119
[confproc]
H. Jung
/ 2010
/ Transformation of an Activity Model into a Colored Petri Net Model
/ Proceedings of the 2nd International Conference on Trends in Information Sciences & Computing 2010(TISC 2010)
/ Sathyabama University
[confproc]
H. Jung
/ 2010
/ A Systematic Software Development Process for Non-Functional Requirements
/ Proceedings of the International Conference on ICT Convergence 2010(ICTC 2010)
[book]
H. J. Genrich
/ 1987
/ Predicate/Transition Nets
/ Springer-Verlag
: 207~247
[confproc]
L. Wells
/ 2006
/ Performance Analysis Using CPN Tools
/ Proceedings of the 1st International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)
[confproc]
J. M. Fernandes
/ 2007
/ Designing Tool Support for Translating Use Cases and UML 2.0Sequence Diagrams into a Colored Petri Net
/ Proceedings of the 6th International Workshop on Scenarios and State Machines (SCESM ’07)
[confproc]
H. Störrle
/ 2004
/ Semantics of Control-Flow in UML 2.0 Activities
/ Proceedings of the IEEE Symposium on Visual Language and Human Centric Computing (VLHCC ’04)
: 235~242
[report]
H. Störrle
/ 2005
/ Towards a Petri-net Semantics of Data Flow in UML 2.0Activities
/ Ludwig-Maximilians-Universität München
[confproc]
M. E. Shin
/ 2003
/ Transformation on UML-based System Model to Design/CPN Model for Validating System Behavior
/ Proceedings of the 6th International Conference on the UML / the Workshop on Compositional Verification of UML Models
[journal]
M. E. Shin
/ 2005
/ Analyzing Dynamic Behavior of Large-Scale Systems through Model Transformation
/ International Journal of Software Engineering and Knowledge Engineering
15(1)
: 35~60
[confproc]
Z. Hu
/ 2004
/ Mapping UML Diagrams to a Petri Net Notation for System Simulation
/ Proceedings of the 16th International Conference on Software Engineering and Knowledge Engineering (SEKE ’04)
: 213~219
[confproc]
Y. Shinkawa
/ 2006
/ Inter-Model Consistency in UML Based on CPN Formalism
/ Proceedings of the 13th Asia Pacific Software Engineering Conference (APSEC ’06)
: 411~418