About: ExSpecT

ExSpecT (Executable Specification Tool) is a process modelling tool based on high level Petri nets.

Property	Value
dbpedia-owl:abstract	ExSpecT (Executable Specification Tool) is a process modelling tool based on high level Petri nets.
dbpedia-owl:wikiPageExternalLink	http://www.exspect.com/
dcterms:subject	category:Petri_nets category:Formal_methods_tools
rdf:type	yago:FormalMethodsTools yago:PetriNets
rdfs:comment	ExSpecT (Executable Specification Tool) is a process modelling tool based on high level Petri nets.
rdfs:label	ExSpecT
owl:sameAs	fbase:ExSpecT
foaf:page	http://en.wikipedia.org/wiki/ExSpecT
is owl:sameAs of	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/ExSpecT yago-res:ExSpecT
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/ExSpecT