The access/CPN framework: A tool for interacting with the CPN tools simulator

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5606 LNCS, Issue , 2009, Pages 313-322

  Westergaard, Michael ^a   Kristensen, Lars Michael ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b BERGEN UNIVERSITY COLLEGE   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS CAPABILITIES; COLOURED PETRI NETS; CONCURRENT SYSTEMS; LOAD MODELS; MATURE ENVIRONMENTS; OBJECT-ORIENTED REPRESENTATION; SIMULATOR COMPONENTS; STANDARD ML; STATE SPACE EXPLORATION;

GRAPH THEORY; PETRI NETS; SPACE RESEARCH;

SIMULATORS;

EID: 70350331955     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02424-5_19     Document Type: Conference Paper

References (12)

1. Access/CPN download, http://www.daimi.au.dk/~ascoveco/accesscpn/
2. CPN Tools webpage, www.daimi.au.dk/CPNTools/
3. Eclipse Modelling Framework (EMF), www.eclipse.org/modeling/emf/
4. Espersen, K.L., Kjeldsen, M.K.: Automatic Code Generation from Process-Partitioned Coloured Petri Net Models. Master's thesis, Dept. of Computer Science, University of Aarhus (2008)
5. Modeling and Simulation High Level Architecture. IEEE-1516
6. ISO/JTC1/SC7/WG19. Software and System Engineering - High-level Petri nets - Part 2: Transfer Format, version 1.1.5
7. Kindler, E., Weber, M.: A universal module Concept for Petri nets. In: Proc. des 8. Workshops Algorithmen und Werkzeuge fr Petrinetze, pp. 7-12 (2001)
8. Kristensen, L.M., Mechlenborg, P., Zhang, L., Mitchell, B., Gallasch, G.E.: Model-based Development of a Course of Action Scheduling Tool. STTT 10(1), 5-14 (2007)
9. Kristensen, L.M., Westergaard, M.: The ASCoVeCo State Space Analysis Platform. In: Proc. of 8th CPN Workshop. DAIMI-PB, vol. 584, pp. 1-6 (2007)
10. Lindstrøm, B.: Web-based interfaces for simulation of coloured petri net models. STTT 3(4), 405-416 (2001)
11. Weber, M., Kindler, E.: The Petri Net Kernel. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 109-123. Springer, Heidelberg (2003)
12. Westergaard, M., Lassen, K.B.: The BRITNeY Suite Animation Tool. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 431-440. Springer, Heidelberg (2006)