Service-oriented process control using High-level Petri Nets

IEEE International Conference on Industrial Informatics (INDIN)

Volumn , Issue , 2008, Pages 750-755

  Mendes, J Marco ^a   Leitão, Paulo ^b   Colombo, Armando W ^c   Restivo, Francisco ^a  

^a UNIVERSITY OF PORTO   (Portugal)

^b INSTITUTO POLITÉCNICO DE BRAGANÇA   (Portugal)

^c Schneider Electric GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; CONTROL THEORY; DISTRIBUTED COMPUTER SYSTEMS; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; PRODUCTION ENGINEERING; QUALITY CONTROL; REUSABILITY;

COLLABORATIVE CONTROLS; CONCURRENT PROCESSES; FLEXIBLE; GLOBAL MARKETS; MODULAR; MODULARITY; ORIENTED PROCESSES; PRODUCTION SYSTEMS; RECONFIGURABLE PRODUCTION SYSTEMS;

PROCESS CONTROL;

EID: 54849440345     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2008.4618202     Document Type: Conference Paper

References (12)

1. M. G. Mehrabi, A.G. Ulsoy, Y. Koren, "Reconfigurable Manufacturing Systems and their Enabling Technologies", International Journal of Manufacturing Technology and Management, 1(1), 2000.
2. F. Jammes and H. Smit, "Service-oriented Architectures for Devices - the SIRENA View", Proceedings of the 3rd IEEE International Conference on Industrial Informatics, 2005, pp. 140-147.
3. th International Conference on Condition Monitoring, presentation, 2007.
4. I. Delamer and L. J. Martinez, "Ontology Modeling of Assembly Processes and Systems using Semantic Web Services", Proceedings of the IEEE International Conference on Industrial Informatics, 2006, pp. 611-617.
5. th IEEE International Conference on Industrial Informatics, 2008.
6. I. J. G. Santos, M. Fluegge, N. P. Tizzo and E. R. M. Madeira, "Challenges and Techniques on the Road to Dynamically Compose Web Services", Proceedings of the 6th International Conference on Web engineering, 2006, pp. 40-47, ACM Press.
7. E. Karakoc, K. Kardas and P. Senkul, "A Workflow-Based Web Service Composition System", Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, IEEE Computer Society, 2006, pp. 113-116.
8. W. T. Tsai, C. Fan, Y. Chen and R. Paul "DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework", Proceedings of the 39th annual Symposium on Simulation, IEEE Computer Society, 2006, pp. 160-167.
9. J. Thomas, M. Thomas and G. Ghinea, "Modeling of Web Services Flow", IEEE International Conference on E-Commerce, 2003, pp. 391-398.
10. Y. Fu, Z. Dong and X. He, "An Approach to Web Services Oriented Modeling and Validation", Proceedings of the 2006 International Workshop on Service-oriented Software Engineering, ACM Press, 2006, pp. 81-87.
11. T. Murata, "Petri nets: Properties, Analysis and Applications", IEEE, vol. 77, 1989, pp. 541-580.
12. J. M. Couvreur and J. Martinez. "Linear Invariants in Commutative High Level Petri Nets", Lecture notes in Computer Science, Vol. 483, pp. 146-165, Springer Verlag, 1990.