For the most recent entries see the
Petri Nets Newsletter.
Keyword: bisimulation
-
Buchholz, Peter;
Tarasyuk, Igor Valerievich:
Equivalences for stochastic Petri nets and stochastic process algebras.
2006.
-
Tarasyuk, Igor V.:
Logical characterization of probabilistic t-bisimulation equivalences.
2004.
-
Berthomieu, Bernard;
Vernadat, François:
State Class Constructions for Branching Analysis of Time Petri Nets.
2003.
-
Mayr, Richard:
Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes.
2003.
-
Buchholz, Peter;
Tarasyuk, Igor V.:
Net and algebraic approaches to probabilistic modeling.
2001.
-
Hirshfelda, Yoram;
Moller, Faron:
Pushdown automata, multiset automata, and Petri nets.
2001.
-
Buchholz, Peter;
Tarasyuk, Igor V.:
A class of stochastic Petri nets with step semantics and related equivalence notions.
2000.
-
Boyer, M.;
Diaz, M.:
Non equivalence between time Petri nets and time stream Petri nets.
1999.
-
Koutny, M.;
Best, E.:
Operational and denotational semantics for the box algebra.
1999.
-
Tarasyuk, Igor V.:
Algebra AFLP2: a calculus of labelled nondeterministic processes.
1996.
-
Tarasyuk, Igor V.:
Equivalence notions for design of concurrent systems using Petri nets.
1996.
-
Tarasyuk, Igor V.:
Petri net equivalences for design of concurrent systems.
1996.
-
van Oosten, Jaap:
Topological Aspects of Traces.
1996.
-
Czaja, Ingo;
van Glabbeek, Rob J.;
Goltz, Ursula:
Interleaving Semantics and Action Refinement with Atomic Choice.
1992.
-
Devillers, Raymond:
Maximality Preservation and the ST-idea for Action Refinements.
1992.
-
Alvarez, C.;
Balcazar, J.L.;
Gabarro, J.:
Parallel Complexity in the Design and Analysis of Concurrent Systems.
1991.
-
Autant, C.;
Belmesk, Z.;
Schnoebelen, Ph.:
Strong Bisimilarity on Nets Revisited.
1991.
-
Chehaibar, Ghassan:
Use of Reentrant Nets in Modular Analysis of Colored Nets.
1991.
-
Vogler, Walter:
Bisimulation and Action Refinement.
1991.
-
Linde, Hans-Günther:
Free Choice Simulation of Petri Nets.
1991.
-
Devillers, Raymond:
Maximality Preserving Bisimulation.
1990.
-
van Glabbeek, Rob;
Goltz, Ursula:
Partial Order Semantics for Refinement of Actions --- Neither Necessary nor Always Sufficient but Appropriate when Used with Care.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography