1019 search results - page 7 / 204 » Transformations of Petri Nets |
108
click to vote
AWPN
2008
14 years 11 months ago
2008
Abstract Petri nets are a formalism for describing systems where interactions between active components
107
click to vote
ECMDAFA
2009
Springer
15 years 4 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
TAGT
1998
Springer
15 years 1 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
COCOON
2003
Springer
15 years 2 months ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
82
Voted
STTT
2008
14 years 9 months ago
2008
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...