Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Vector_addition_system> ?p ?o }
Showing triples 1 to 40 of
40
with 100 triples per page.
- Vector_addition_system abstract "A vector addition system (VAS) is one of several mathematical modeling languages for the description of distributed systems. Vector addition systems were introduced by Richard M. Karp and Raymond E. Miller in 1969, and generalized to vector addition systems with states (VASS) by John E. Hopcroft and Jean-Jacques Pansiot in 1979. Both VAS and VASS are equivalent in many ways to Petri nets introduced earlier by Carl Adam Petri.".
- Vector_addition_system thumbnail Vector_addition_with_states.svg?width=300.
- Vector_addition_system wikiPageID "45107264".
- Vector_addition_system wikiPageLength "3249".
- Vector_addition_system wikiPageOutDegree "20".
- Vector_addition_system wikiPageRevisionID "668464284".
- Vector_addition_system wikiPageWikiLink Carl_Adam_Petri.
- Vector_addition_system wikiPageWikiLink Category:Concurrency_(computer_science).
- Vector_addition_system wikiPageWikiLink Category:Diagrams.
- Vector_addition_system wikiPageWikiLink Category:Formal_specification_languages.
- Vector_addition_system wikiPageWikiLink Category:Models_of_computation.
- Vector_addition_system wikiPageWikiLink Category:Petri_nets.
- Vector_addition_system wikiPageWikiLink Category:Software_modeling_language.
- Vector_addition_system wikiPageWikiLink Communicating_finite-state_machine.
- Vector_addition_system wikiPageWikiLink Directed_graph.
- Vector_addition_system wikiPageWikiLink Finite-state_machine.
- Vector_addition_system wikiPageWikiLink Integer.
- Vector_addition_system wikiPageWikiLink John_Hopcroft.
- Vector_addition_system wikiPageWikiLink Petri_net.
- Vector_addition_system wikiPageWikiLink Richard_M._Karp.
- Vector_addition_system wikiPageWikiLink Row_and_column_vectors.
- Vector_addition_system wikiPageWikiLink File:Vector_addition_with_states.svg.
- Vector_addition_system wikiPageWikiLinkText "Vector addition system".
- Vector_addition_system wikiPageWikiLinkText "vector addition system with states (VASS)".
- Vector_addition_system wikiPageWikiLinkText "vector addition system".
- Vector_addition_system wikiPageUsesTemplate Template:Reflist.
- Vector_addition_system subject Category:Concurrency_(computer_science).
- Vector_addition_system subject Category:Diagrams.
- Vector_addition_system subject Category:Formal_specification_languages.
- Vector_addition_system subject Category:Models_of_computation.
- Vector_addition_system subject Category:Petri_nets.
- Vector_addition_system subject Category:Software_modeling_language.
- Vector_addition_system hypernym Languages.
- Vector_addition_system type Language.
- Vector_addition_system comment "A vector addition system (VAS) is one of several mathematical modeling languages for the description of distributed systems. Vector addition systems were introduced by Richard M. Karp and Raymond E. Miller in 1969, and generalized to vector addition systems with states (VASS) by John E. Hopcroft and Jean-Jacques Pansiot in 1979. Both VAS and VASS are equivalent in many ways to Petri nets introduced earlier by Carl Adam Petri.".
- Vector_addition_system label "Vector addition system".
- Vector_addition_system sameAs m.012nmlf4.
- Vector_addition_system wasDerivedFrom Vector_addition_system?oldid=668464284.
- Vector_addition_system depiction Vector_addition_with_states.svg.
- Vector_addition_system isPrimaryTopicOf Vector_addition_system.
