Workcraft: A static data flow structure editing, visualisation and analysis tool

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

Volumn 4546 LNCS, Issue , 2007, Pages 505-514

  Poliakov, Ivan ^a   Sokolov, Danil ^a   Mokhov, Andrey ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; PETRI NETS; PROCESS DESIGN;

ASYNCHRONOUS CIRCUITS; STATIC DATA FLOW STRUCTURES (SDFS); VISUAL EDITING;

DATA VISUALIZATION;

EID: 38149051526     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73094-1_30     Document Type: Conference Paper

References (16)

1. Extensible Markup Language (XML) - http://www.w3.org/XML/
2. JOGL API project - https://jogl.dev.java.net/
3. Scalable Vector Graphics - http://www.w3.org/Graphics/SVG/
4. The Jython Project - http://www.jython.org/
5. The Python Programming Language - http://www.python.org/
6. Ampalam, M., Singh, M.: Counterflow pipelining: architectural support for preemption in asynchronous systems using anti-tokens. In: Proc. International Conference Computer-Aided Design (ICCAD) (November 2006)
7. Best, E., Grundmann, B.: PEP - more than a Petri net tool. In: Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, Heidelberg (1995)
8. Brej, C.: Early output logic and anti-tokens. PhD thesis, Dept. of Computer Science, University of Manchester (2005)
9. Khomenko, V.: Model Checking Based on Prefixes of Petri Net Unfoldings. PhD thesis, University of Newcastle upon Tyne, School of Computing Science (2003)
10. Montanari, U., Rossi, F.: Contextual nets. Acta Informacia 32(6), 545-596 (1995)
11. Poliakov, I., Sokolov, D., Yakovlev, A.: Software requirements analysis for asynchronous circuit modelling and simulation tool. Technical Report NCL-EECE-MSD-TR-2007-118, University of Newcastle (2006)
12. Sokolov, D., Poliakov, I., Yakovlev, A.: Asynchronous data path models. In: 7th International Conference on Application of Concurrency to System Design (to appear 2007)
13. Sparsø, J., Furber, S. (eds.): Principles of Asynchronous Circuit Design: A Systems Perspective (2001)
14. Morrison, R., Stemple, D.W.: Software - Practice and Experience. In: Linguistic Reflection in Java, pp. 1045-1077. John Wiley & Sons, New York (1998)
15. Vogler, W., Semenov, A.L., Yakovlev, A.: Unfolding and finite prefix for nets with read arcs. In: International Conference on Concurrency Theory, pp. 501-516 (1998)
16. Yakovlev, A., Kishinevsky, M., Kondratyev, A., Lavagno, L., Pietkiewicz-Koutny, M.: Formal Methods in System Design. In: On the Models for Asynchronous Circuit Behaviour with OR Causality, pp. 189-233. Kluwer Academic Publishers, Boston (1996)