Back to Results
First PageMeta Content
Diagrams / Formal methods / Computing / Computer science / Algebraic Petri nets / TAPAAL Model Checker / Petri nets / Models of computation / Concurrency


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

Document Date: 2007-08-04 17:03:23

Open Document

File Size: 326,77 KB

Share Result on Facebook

Company

Petri Net / /

Currency

pence / /

/

Facility

Imperial College / Computing Imperial College London South Kensington Campus / /

IndustryTerm

transient solution / unidirectional ring network / evaluation tools / communication systems / platform independent tool / concurrent systems / mature and efficient tool / token ring network / steady-state solution / steady state solution / platform-independent tool / /

OperatingSystem

Unix / Linux / Microsoft Windows / /

Organization

Imperial College London / Universitat de les Illes Balears / William J. Knottenbelt Department of Computing Imperial College London South Kensington Campus / Department of Computing / /

Person

Ramon Puigjaner / Carl Adam Petri / Catalina M. Llad / Pere Bonet / Palma de Mallorca / William J. Knottenbelt / /

Position

Editor / Performance Evaluator / forward / Graphical Editor / /

ProgrammingLanguage

XML / Java / /

Technology

XML / Java / Linux / Unix / token ring / multiple document interface / simulation / Animation / Operating system / GUI / /

SocialTag