TAPAAL: Editor, simulator and verifier of timed-arc Petri nets

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

Volumn 5799 LNCS, Issue , 2009, Pages 84-89

  Byg, Joakim ^a   Jørgensen, Kenneth Yrke ^a   Srba, Jiří ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC ANALYSIS; PETRI NET MODELS; PLATFORM INDEPENDENT; STAND -ALONE; TIMED AUTOMATA; TIMED-ARC PETRI NETS;

CAVITY RESONATORS; GRAPH THEORY; IMAGE CODING; PETRI NETS;

SIMULATORS;

EID: 71549157779     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04761-9_7     Document Type: Conference Paper

References (16)

1. Abdulla, P.A., Nylén, A.: Timed petri nets and BQOs. In: ICATPN 2001. LNCS, vol. 2075, pp. 53-70. Springer, Heidelberg (2001)
2. Bartlett, K.A., Scantlebury, R.A., Wilkinson, P.T.: A note on reliable full-duplex transmission over half-duplex links. Commun. ACM 12(5), 260-261 (1969)
3. Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA - construction of abstract state spaces for Petri nets and time Petri nets. International Journal of Production Research 42(14), 2741-2756 (2004)
4. Bolognesi, T., Lucidi, F., Trigila, S.: From timed Petri nets to timed LOTOS. In: Proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, pp. 1-14 (1990)
5. Bouyer, P., Haddad, S., Reynier, P.-A.: Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Information and Computation 206(1), 73-107 (2008)
6. Gonzalez del Foyo, P.M., Silva, J.R.: Using time Petri nets for modelling and verification of timed constrained workflow systems. In: ABCM Symposium Series in Mechatronics. ABCM, vol. 3, pp. 471-478. ABCM - Brazilian Society of Mechanical Sciences and Engineering (2008)
7. Hanisch, H.M.: Analysis of place/transition nets with timed-arcs and its application to batch process control. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 282-299. Springer, Heidelberg (1993)
8. Heitmann, F., Moldt, D., Mortensen, K.H., Rölke, H.: Petri nets tools database quick overview, http://www.informatik.uni-hamburg.de/TGI/ PetriNets/tools/quick.html
9. Platform Independent Petri net Editor 2.5, http://pipe2.sourceforge.net
10. Jensen, K., Kristensen, L., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer (STTT) 9(3), 213-254 (2007)
11. Lamport, L.: A fast mutual exclusion algorithm. ACM Transactions on Computer Systems 5(1), 1-11 (1987)
12. Petri Net Markup Language, http://www2.informatik.hu-berlin.de/top/pnml
13. Sifakis, J., Yovine, S.: Compositional specification of timed systems. In: Puech, C., Reischuk, R. (eds.) STACS 1996. LNCS, vol. 1046, pp. 347-359. Springer, Heidelberg (1996)
14. Srba, J.: Timed-arc Petri nets vs. networks of timed automata. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 385-402. Springer, Heidelberg (2005)
15. Srba, J.: Comparing the expressiveness of timed automata and timed extensions of Petri nets. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 15-32. Springer, Heidelberg (2008)
16. UPPAAL, http://www.uppaal.com