Author:
Lee Ho Kyoung,Lee Woo Jin,Chae Heung Seok,Kwon Yong Rae
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering
Reference28 articles.
1. Andrade SS, Macêdo R (2005) A component-based real-time architecture for distributed supervision and control applications. In: Proceedings of the 10th IEEE conference on emerging technologies and factory automation, pp 15–22
2. Bernardi S, Donatelli S, Merseguer J (2002) From UML sequence diagrams and statecharts to analyzable Petri net models. In: Proceedings of WOSP 2002
3. Eclipse (2006) Eclipse modeling project. http://www.eclipse.org/modeling/
4. Ghezzi C, Mandrioli D, Morasca S, Pezze M (1991) A unified high-level Petri net formalism for time-critical systems. IEEE Trans Softw Eng 17(2):160–172
5. Graf S, Ober, Ober I (2003) Timed annotations with UML. In: Proceedings of specification and validation of UML models for real time and embedded systems, FortMason Center, San Francisco