About: ExSpecT

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

Property	Value
dbpprop:abstract	ExSpecT (Executable Specification Tool) is a process modelling tool based on high level Petri nets.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/ExSpecT
dbpprop:reference	http://www.exspect.com/
rdf:type	http://dbpedia.org/class/yago/SpecificationLanguages
rdfs:comment	ExSpecT (Executable Specification Tool) is a process modelling tool based on high level Petri nets.
rdfs:label	ExSpecT
owl:sameAs	freebase:ExSpecT http://umbel.org/umbel/ne/wikipedia/ExSpecT
skos:subject	dbpedia:Category:Formal_methods_tools dbpedia:Category:Petri_nets
foaf:page	http://en.wikipedia.org/wiki/ExSpecT
is owl:sameAs of	yago:ExSpecT