Well-formed Petri net

Well-formed Petri net

Well-formed Petri nets are a Petri net class jointly elaborated between the University of Paris 6 (Université P. & M. Curie) and the University of Torino in the early 1990s.

It is a restrictions of the high-level nets (or colored Nets) introduced by K. Jensen. The main avantage of Well Formed Nets is the notion of symbolic reachability graph that is composed of "symbolic states". A symbolic state is a state representing several concrete states in the state space of the system described by the Petri net. So, much larger state spaces can be represented (the gain factor can be up to exponential).This notion of symblic state space requires that only a limited set of operators are available (identify, broadcast, successor and predecessor functions are allowed on circular finite types).

References

* G. Chiola, [http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=826756 Characterization of timed well-formed Petri nets behavior by means of occurrence equations] . "Proceedings of the Sixth International Workshop on Petri Nets and Performance Models", page 27, IEEE Computer Society, Washington DC, USA. (ISBN 0-8186-7210-2.)


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Petri net — A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e.… …   Wikipedia

  • CPN-AMI — is a computer aided software engineering environment based on Petri Net specifications. It allows to specify the behavior of a distributed system and the to evaluate properties on it such as invariants (preservation of resources), absence of… …   Wikipedia

  • Occam's razor — For the aerial theatre company, see Ockham s Razor Theatre Company. It is possible to describe the other planets in the solar system as revolving around the Earth, but that explanation is unnecessarily complex compared to the modern consensus… …   Wikipedia

  • ice hockey — a game played on ice between two teams of six skaters each, the object being to score goals by shooting a puck into the opponents cage using a stick with a wooden blade set at an obtuse angle to the shaft. [1880 85] * * * Game played on an ice… …   Universalium

  • Lutheranism — Luther s Seal Book of Concord …   Wikipedia

  • Sweden — /sweed n/, n. a kingdom in N Europe, in the E part of the Scandinavian Peninsula. 8,946,193; 173,732 sq. mi. (449,964 sq. km). Cap.: Stockholm. Swedish, Sverige. * * * Sweden Introduction Sweden Background: A military power during the 17th… …   Universalium

  • Folk metal — Stylistic origins Heavy metal, folk music Cultural origins Early to mid 1990s across Europe Typical instruments Electric guitar Bass Drums Vocals Folk instruments or Keyboards …   Wikipedia

  • Italy — • In ancient times Italy had several other names: it was called Saturnia, in honour of Saturn; Enotria, wine producing land; Ausonia, land of the Ausonians; Hesperia, land to the west (of Greece); Tyrrhenia, etc. The name Italy, which seems to… …   Catholic encyclopedia

  • Spain — /spayn/, n. a kingdom in SW Europe. Including the Balearic and Canary islands, 39,244,195; 194,988 sq. mi. (505,019 sq. km). Cap.: Madrid. Spanish, España. * * * Spain Introduction Spain Background: Spain s powerful world empire of the 16th and… …   Universalium

  • Andalusia — For the more extensive Muslim era region, see Al Andalus. For other uses, see Andalusia (disambiguation). Andalusia Andalucía (Spanish)   Autonomous Community   …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”