For the most recent entries see the
Petri Nets Newsletter.
Aoumeur, N.
-
Aoumeur, Nasreddine;
Saake, Gunter:
Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components.
2003.
-
Aoumeur, Nasreddine;
Saake, Gunter:
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic.
2002.
-
Aoumeur, Nasreddine;
Saake, Gunter:
Consistency Management in Runtime Evolving Concurrent Information Systems: A CO-NETS-Based Approach.
2001.
-
Aoumeur, Nasreddine;
Saake, Gunter:
Towards an Adequate Framework for Specifying and Validating Runtime Evolving Complex Discrete-event Systems.
2001.
-
Aoumeur, N.;
Saake, G.:
Specifying and validating train control systems using an appropriate component-based Petri net tool.
2000.
-
Aoumeur, N.;
Saake, G.:
Towards an object Petri net model for specifying and validating distributed information systems.
1999.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography