TAPAAL Model Checker - PDFSEARCH.IO - Document Search Engine

TAPAAL Model Checker
Results: 6

#	Item
1	Technische UniversitŠt MŸnchen FakultŠt fŸr Informatik Lehrstuhl fŸr Programmiermethodik und Verteilte Systeme Univ.-Prof. Dr. M. Broy Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2007-08-26 06:05:19 Petri nets Formal methods Model checking Tamagotchi Software engineering Visual programming language Computer science TAPAAL Model Checker Models of computation Concurrency Diagrams
2	Where did I go wrong? Explaining errors in business process models Niels Lohmann Universität Rostock, Institut für Informatik, 18051 Rostock, Germany [removed] Abstract. Business process modeling is Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-03-27 03:32:37 Petri net Management Formal methods Model checking Workflow Process calculus Science TAPAAL Model Checker Concurrency Models of computation Diagrams
3	High-level Petri Nets - Concepts, Definitions and Graphical Notation Final Draft International Standard ISO/IEC[removed]Version[removed]May 10, 2002 Contents Add to Reading List Source URL: www.petrinets.info Language: English - Date: 2003-01-10 02:18:16 Formal methods Concurrency Software engineering Computer science Algebraic Petri nets Petri State diagram Petri Net Markup Language TAPAAL Model Checker Petri nets Models of computation Diagrams
4	PIPE v2.5: a Petri Net Tool for Performance Modeling Pere Bonet, Catalina M. Llad´ o, Ramon Puigjaner Departament de Ci`encies Matem`atiques i Inform`atica Universitat de les Illes Balears 07071, Palma de Mallorca, Spai Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2007-08-04 17:03:23 Diagrams Formal methods Computing Computer science Algebraic Petri nets TAPAAL Model Checker Petri nets Models of computation Concurrency
5	Typestate-Oriented Design A Coloured Petri Net Approach Jorge Luis Guevara D´ıaz Add to Reading List Source URL: vision.ime.usp.br Language: English - Date: 2013-02-27 11:42:30 Diagrams Software engineering Computing Petri nets Iterator Finite-state machine Petriscript TAPAAL Model Checker Models of computation Formal methods Concurrency
6	PDF Document Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2009-09-17 09:28:06 Formal methods Theoretical computer science Petri nets Computer science TAPAAL Model Checker ExSpecT Models of computation Diagrams Concurrency