For the most recent entries see the
Petri Nets Newsletter.
Keyword: composition
-
Zaitsev, D. A.:
Compositional analysis of Petri nets.
2006.
-
Zaitsev, D.A.:
Solving the fundamental equation of Petri net in the process of composition of functional subnet.
2005.
-
Klai, Kais;
Haddad, Serge;
Ilie, Jean-Michel:
Modular Verification of Petri Nets Properties: A Structure-Based Approach.
2005.
-
Zaitsev, D.A.:
Functional Petri Nets.
2005.
-
Zaitsev, D. A.:
Verification of Ethernet protocols.
2004.
-
Zaitsev, D.A.:
Invariants of functional subnets.
2003.
-
Chehaibar, Ghassan:
Use of Reentrant Nets in Modular Analysis of Colored Nets.
1991.
-
Desel, Jörg:
On Abstraction of Nets.
1991.
-
Dimitrovici, Cristian;
Hummert, Udo;
Petrucci, Laure:
Semantics, Composition and Net Properties of Algebraic High-Level Nets.
1991.
-
Finkel, A.;
Petrucci, L.:
Avoiding State Explosion by Composition of Minimal Covering Graphs.
1991.
-
Best, E.;
Esparza, J.:
Design Methods Based on Nets (DEMON): Edited Progress Report of the Esprit Basic Research Action 3148.
1991.
-
Petrucci, Laure:
Techniques d'Analyse des Réseaux de Petri Algébraiques.
1991.
-
Chehaibar, Ghassan:
Validation of Phase-Executed Protocols Modelled with Colored Petri Nets.
1990.
-
Souissi, Younes:
On Liveness Preservation by Composition of Nets via a Set of Places.
1990.
-
Winkowski, Józef:
A Generalization of Petri Nets by Equipping them with Inputs and Outputs.
1990.
-
Winkowski, Józef:
A Generalization of Petri Nets by Equipping them with Inputs and Outputs.
1990.
-
Pinna, Michele:
On Composition of Place/Transition Nets.
1990.
-
Best, Eike;
Cherkasova, Ludmila;
Desel, Jörg;
Esparza, Javier:
Characterisation of Home States in Free Choice Systems.
1990.
-
Dimitrovici, Cristian;
Hummert, Udo:
Kategorielle Konstruktionen für algebraische Petrinetze.
1989.
-
Zaitsev, D.A.:
Stepwise composition of functional subnets.
33-40.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography