Distinguishing environment and system in coloured petri net models of reactive systems

2007 Symposium on Industrial Embedded Systems Proceeedings, SIES'2007

Volumn , Issue , 2007, Pages 242-249

  Tjell, Simon ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; GRAPH THEORY; INTEGRATED CIRCUITS; MODAL ANALYSIS; PETRI NETS; SOFTWARE TESTING; STRUCTURAL PROPERTIES;

AUTOMATED CODE; AUTOMATIC VALIDATION; BEHAVIORAL MODELING; COLORED PETRI NETS (CPN) MODEL; COLOURED PETRI NET (CPN); FORMAL MODELING LANGUAGE; INTERNATIONAL SYMPOSIUM; MODEL-BASED TESTING; MODEL-DRIVEN; PROOF-OF-CONCEPT (POC); PROPERTY (S); REACTIVE SYSTEMS; SOFTWARE DEVELOPMENT;

STRUCTURAL ANALYSIS;

EID: 46749146578     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2007.4297341     Document Type: Conference Paper

References (12)

1. R. J. Wieringa, Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. Morgan Kaufmann Publishers, 2003.
2. C. A. Gunter, E. L. Gunter, M. Jackson, and P. Zave, "A Reference Model for Requirements and Specifications," IEEE Software, vol. 17, no. 3, pp. 37-43, 2000.
3. U. D. Black, OSI: A Model for Computer Communications Standards. Prentice Hall, October 1990.
4. K. Jensen, Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts, ser. Monographs in Theoretical Computer Science. An EATCS Series, Springer, 1992.
5. "Cpn ml." http://wiki.daimi.au.dk/cpntoolshelp/cpn-ml.wiki.
6. R. Milner, R. Harper, and M. Tofte, The Definition of Standard ML. MIT Press, 1990.
7. "Cpn tools," http:/wiki.daimi.au.dk/cpntools/cpntools.wiki.
8. R. Eshuis and J. Dehnert, "Reactive petri nets for workflow modeling," in ICATPN 2003, 24th Int. Conf. on Application and Theory of Petri Nets, ser. LNCS, vol. 2679. Springer-Verlag, 2003, pp. 296-315.
9. D. Wikarski, "An introduction to modular process nets." TR-96-019, International Computer Science Institute, Berkeley, CA, pp. 1-51, Apr. 1996.
10. P. A. Palanque, R. Bastide, L. Dourte, and C. Sibertin-Blanc, "Design of user-driven interfaces using petri nets and objects," in CAiSE '93: Proceedings of Advanced Information Systems Engineering. London, UK: Springer-Verlag, 1993, pp. 569-585.
11. B. Däne, A. Mölders, A. Melber, and W. Fengler, "Modeling an industrial transportation facility with coloured petri nets," in Manufacturing and Petri Nets (at ATPN 97).
12. K. Jensen, Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, ser. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992.