For the most recent entries see the
Petri Nets Newsletter.
Keyword: compositionality
-
López, Grao J. P.;
Merseguer, J.;
Campos, J.:
From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering.
2004.
-
Bernardi, Simona;
Donatelli, Susanna;
Merseguer, José:
From UML sequence diagrams and statecharts to analysable petri net models.
2002.
-
Anisimov, N. A.;
Golenkov, E. A.;
Kharitonov, D. I.:
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems.
2001.
-
Klaudel, H.;
Pommereau, F.:
A concurrent and compositional Petri net semantics of preemption.
2000.
-
Anisimov, N.A;
Kovalenko, A.A.;
Postupalski, P.A.;
Vuong, S.T.:
Application of Compositional Petri Nets and PN3-Tool to the Specification of Distributed Multimedia Objects.
1999.
-
Fleischhack, Hans;
Grahlmann, Bernd:
Towards compositional verification of SDL systems.
1998.
-
Fleischhack, Hans;
Grahlmann, Bernd:
A Compositional Petri Net Semantics for SDL.
1998.
-
Fleischhack, Hans;
Grahlmann, Bernd:
A Compositional Petri Net Semantics for SDL.
1997.
-
Anisimov, N.A.;
Koutny, M.:
On compositionality and Petri nets in protocol engineering.
1996.
-
Benalycherif, Mohamed-Lyes;
Girault, Claude:
Behavioural and Structural Composition Rules Preserving Liveness by Synchronisation for Colored FIFO Nets.
1996.
-
Anisimov, N.A.;
Kovalenko, A.A.:
Towards Petri Net Calculi based on Synchronization via Places.
1995.
-
Anisimov, N.A.:
A Petri Net Entity as a Formal Model for LOTOS - A Specification Language for Distributed and Concurrent Systems.
1991.
-
Anisimov, N.A.:
An Algebra of Regular Macronets for Formal Specification of Communication Protocols.
1991.
-
Anisimov, N.A.:
A Notion of Entity Based On Petri Nets.
1991.
-
Battiston, Eugenio;
Petrucci, Laure;
Rapanotti, Lucia:
Establishing a Relationship Between OBJSA Nets and Algebraic Net Schemes.
1991.
-
Concurrency and Compositionality. Extended abstracts of the 2nd Workshop on Concurrency and Compositionality, 1990, San Miniato.
1990.
-
Pinna, Giovanni Michele:
Petri Nets and Their Composition Problems.
1990.
-
Valmari, Antti:
Compositional State Space Generation.
1990.
-
Battiston, Eugenio;
De Cindio, Fiorella;
Mauri, Giancarlo:
OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems.
1990.
-
Maggiolo-Schettini, Andrea;
Winkowski, Józef:
A Generalization of Predicate/Transition Nets.
1990.
-
van Glabbeek, Rob;
Goltz, Ursula:
Refinement of Actions in Causality Based Models.
1990.
-
Botti, Oliver:
Un modello in reti di Petri per occam-2.
1989/90.
-
Winkowski, Jósef:
An Algebraic Way of Defining the Behaviours of Place/Transition Petri Nets.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography