About: Vector addition system

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Mathematical modeling language for distributed systems

Property	Value
dbo:description	mathematical modeling language for distributed systems (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Vector_addition_with_states.svg?width=300
dbo:wikiPageWikiLink	dbr:Communicating_finite-state_machine dbc:Concurrency_(computer_science) dbr:Carl_Adam_Petri dbc:Petri_nets dbr:John_Hopcroft dbr:Petri_net dbr:Process_calculus dbc:Models_of_computation dbr:Integer dbr:Directed_graph dbr:Richard_M._Karp dbr:Ackermann_function dbc:Software_modeling_language dbr:Nonelementary_problem dbr:Trace_theory dbr:Actor_model dbc:Formal_specification_languages dbc:Diagrams dbr:Kahn_process_networks dbr:Row_vector dbr:Distributed_systems dbr:Finite_state_machine dbr:File:Vector_addition_with_states.svg
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Short_description
dct:subject	dbc:Concurrency_(computer_science) dbc:Petri_nets dbc:Models_of_computation dbc:Software_modeling_language dbc:Formal_specification_languages dbc:Diagrams
gold:hypernym	dbr:Languages
rdfs:label	Vector addition system (en)
owl:sameAs	freebase:Vector addition system yago-res:Vector addition system wikidata:Vector addition system dbpedia-global:Vector addition system dbr:Vector addition system
prov:wasDerivedFrom	wikipedia-en:Vector_addition_system?oldid=1265272798&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Vector_addition_with_states.svg
foaf:isPrimaryTopicOf	wikipedia-en:Vector_addition_system
is dbo:knownFor of	dbr:Richard_M._Karp
is dbo:wikiPageDisambiguates of	dbr:VAS
is dbo:wikiPageRedirects of	dbr:Vector_addition_system_with_states dbr:Vector_Addition_System dbr:Vector_addition_systems
is dbo:wikiPageWikiLink of	dbr:Petri_net dbr:VAS dbr:Richard_M._Karp dbr:Nonelementary_problem dbr:Formal_verification dbr:Vector_addition_system_with_states dbr:Vector_Addition_System dbr:Vector_addition_systems
is dbp:knownFor of	dbr:Richard_M._Karp
is foaf:primaryTopic of	wikipedia-en:Vector_addition_system

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International