For the most recent entries see the
Petri Nets Newsletter.
Keyword: net composition
-
Choe, Y.-H.;
Lee, D.-I.;
Kumagai, S.:
A basic theorem for modular synthesis of state machine allocatable nets.
1998.
-
Finkel, A.;
Petrucci, L.:
Composition and decomposition of Petri nets and their coverability graphs (in Frech).
1994.
-
Soussi, Younes:
Deterministic Systems of Sequential Processes: A Class of Structured Petri Nets.
1991.
-
Maggiolo-Schettini, A.;
Pinna, G.M.;
Winkowski, J.:
A Compositional Semantics for Unmarked Predicate/Transition Nets.
1991.
-
Lloret, J.:
Modeling and Verification of Distributed Systems with Labeled Predicate Transition Nets.
1990.
-
Pinna, G. Michele;
Maggiolo-Schettini, Andrea:
Transformations of Pr/T Nets via Translation into Structure Grammar.
1990.
-
Souissi, Younes:
Deterministic Systems of Sequential Processes.
1990.
-
Souissi, Younes:
On Liveness Preservation by Composition of Nets via a Set of Places.
1990.
-
Souissi, Younes:
Property Preservation by Composition of Petri Nets; Extension to FIFO Nets and Application to Communication Protocols.
1990.
-
Finkel, Alain;
Petrucci, Laure:
Propriétés de la composition/décomposition de résaux de Petri et de leurs graphes de couverture.
1990.
-
Desel, Jörg;
Merceron, Agathe:
Vicinity Respecting Net Morphisms.
1989.
-
Souissi, Younes;
Memmi, Gérard:
Compositions of Nets via a Communication Medium.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography