For the most recent entries see the
Petri Nets Newsletter.
Römer, S.
-
Esparza, Javier;
Römer, Stefan:
An Unfolding Algorithm for Synchronous Products of Transition Systems.
1999.
-
Melzer, S.;
Römer, S.;
Esparza, J.:
Verification using PEP.
1996.
-
Römer, Stefan;
Melzer, Stephan:
Synchronisierende Automaten in PEP.
1996.
-
Esparza, Javier;
Römer, Stefan;
Vogler, Walter:
An Improvement of McMillan's Unfolding Algorithm.
1996.
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