For the most recent entries see the
Petri Nets Newsletter.
Keyword: statecharts
-
Hu, Zhaoxia;
Shatz, Sol M.:
Explicit modeling of semantics associated with composite states in UML statecharts.
2006.
-
Ehrig, Hartmut;
Gajewsky, Maike;
Wolter, Uwe:
From Abstract Data Types to Algebraic Development Techniques: a Shift of Paradigms.
1998.
-
Ehrig, H.;
Gajewsky, M.;
Padberg, J.:
Action Nets and Abstract Statecharts in the Theory of High-Level Replacement Systems.
1997.
-
Ehrig, H.;
Geisler, R.;
Klar, M.;
Padberg, J.:
Horizontal and Vertical Structuring Techniques for Statecharts.
1997.
-
Drusinsky, D.;
Harel, D.:
On the power of bounded concurrency. 1. Finite automata.
1994.
-
Masiero, P.C.;
Maldonado, J.C.;
Bonaventura, I.G.:
A reachability tree for statecharts and analysis of some properties.
1994.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography