An IOPT-net state-space generator tool

IEEE International Conference on Industrial Informatics (INDIN)

Volumn , Issue , 2011, Pages 383-389

  Pereira, Fernando ^a,b   Moutinho, Filipe ^a   Gomes, Lúis ^a   Ribeiro, José ^b   Campos Rebelo, Rogério ^a  

^a UNINOVA   (Portugal)

^b INSTITUTO SUPERIOR DE ENGENHARIA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC CREATIONS; BUILDING BLOCKES; C PROGRAMS; EXTERNAL INPUT; GENERATOR TOOL; GRAPHICAL VISUALIZATION; HIERARCHICAL XML; INPUT SIGNAL; INPUT-OUTPUT; INTEGRATED DEVELOPMENT ENVIRONMENT; MEDIUM SIZE; NONAUTONOMOUS; OUTPUT SIGNAL; PERFORMANCE LEVEL; SCALABLE VECTOR GRAPHICS; STATE-SPACE; TRANSITION FIRINGS; WEB APPLICATION; XML FILES; XML QUERY LANGUAGE;

AUTOMATIC PROGRAMMING; C (PROGRAMMING LANGUAGE); INFORMATION SCIENCE; MODEL CHECKING; PETRI NETS; QUERY LANGUAGES; USER INTERFACES; VECTOR SPACES; VISUALIZATION; XML;

EQUIPMENT;

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

References (25)

1. L. Gomes, J. Barros, A. Costa, and R. Nunes, "The Input-Output Place-Transition Petri Net Class and Associated Tools," in Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN'07), Vienna, Austria, July 2007.
2. "Fordesign project home page," Available at http://www.uninova.pt/fordesign, accessed on March 30, 2010.
3. L. Gomes, R. Rebelo, J. Barros, A. Costa, and R. Pais, "From Petri net models to C implementation of digital controllers," in Proceedings of the ISIE2010-IEEE International Symposium on Industrial Electronics, Bari, Italy, July 2010.
4. PNML2VHDL, "PNML2VHDL-A translator from PNML to VHDL," Available at http://www.uninova.pt/fordesign/PNML2VHDL.htm, accessed March 30, 2010.
5. A. Hamez, L. Hillah, F. Kordon, A. Linard, E. Paviot-Adet, X. Renault, and Y. Thierry-Mieg, "New features in cpn-ami 3: focusing on the analysis of complex distributed systems," Application of Concurrency to System Design, Internat. Conference on, vol. 0, pp. 273-275, 2006.
6. K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Pratical Use. SpringerVerlag., 1997, vol. 1 Basic Concepts, Berlin.
7. W3C Recommendation, "Extensible stylesheet language," Available at http://www.w3.org/TR/xslt, accessed January, 2011.
8. -, "Extensible stylesheet language transformation," Available at http://www.w3.org/TR/xslt, accessed January, 2011.
9. -, "XML Path Language," Available at http://www.w3.org/TR/ xpath, accessed January, 2011.
10. K. Schmidt, "Lola: a low level analyser," in Proceedings of the 21st international conference on Application and theory of petri nets, ser. ICATPN'00. Berlin, Heidelberg: Springer-Verlag, 2000, pp. 465-474. [Online]. Available: http://portal.acm.org/citation.cfm?id=1754589.1754619
11. K. Wolf, "Generating petri net state spaces," in Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency, ser. ICATPN'07. Berlin, Heidelberg: Springer-Verlag, 2007, pp. 29-42. [Online]. Available: http://portal.acm.org/ citation.cfm?id=1769053.1769059
12. OpenMP, "The OpenMP API specification for parallel programming," Available at http://openmp.org/wp/, accessed January, 2011.
13. ISO/IEC, "Software and Systems EngineeringHigh-level Petri NetsPart 1: Concepts, Definitions and Graphical Notation," International Standard ISO/IEC 15909-1, 2005.
14. J. Barros and L. Gomes, "Net Model Composition and Modification by Net Operations: a Pragmatic Approach," in 2th IEEE International Conference on Industrial Informatics (INDIN'2004)., Berlin, Germany, June 2004.
15. A. Costa and L. Gomes, "Petri net partitioning using net splitting operation," in 7th IEEE International Conference on Industrial Informatics (INDIN 2009)., Cardiff, UK, June 2009, available at http://dx.doi.org/10.1109/ INDIN.2009.5195804.
16. MDD, "Special issue on model-driven development," IEEE Software, vol. 20, no. 5, September/October 2003.
17. ISO/IEC, "Software and Systems EngineeringHigh-level Petri NetsPart 2: Transfer Format," International Standard ISO/IEC 15909, 2008.
18. OMG-MDA, "Omg mda guide version 1.0.1. formal doc.: 03-06-01," Available at http://www.omg.org/cgi-bin/doc?omg/03-06-01, accessed January, 2011.
19. EMF, "Eclipse modeling framework," Available at http://www.eclipse.org/modeling/emf/, accessed March 30, 2010.
20. W3C Recommendation, "XQuery 1.0 and XPath 2.0 Formal Semantics," Available at http://www.w3.org/TR/xquery-semantics/, accessed January, 2011, xQuery 1.0 and XPath 2.0 Formal Semantics.
21. Gnome project, "The XML C parser and toolkit of Gnome," Available at http://xmlsoft.org/, accessed January, 2011.
22. -, "The XSLT C library for GNOME," Available at http://xmlsoft.org/XSLT/, accessed January, 2011.
23. The GNU Project, "GCC, the GNU Compiler Collection," Available at http://gcc.gnu.org/, accessed January, 2011.
24. PHP Group, "PHP: Hypertext Preprocessor," Available at http://www.php.net/, accessed January, 2011.
25. K. Y. Rozier and M. Y. Vardi, "LTL satisfiability checking," in Proceedings of the 14th international SPIN conference on Model checking software. Berlin, Heidelberg: Springer-Verlag, 2007, pp. 149-167. [Online]. Available: http://portal.acm.org/citation.cfm?id=1770532.1770548