Keyword: coloured net

• Chehaibar, Ghassan:
  Use of Reentrant Nets in Modular Analysis of Colored Nets. 1991.

• Demael, J.J.; Levis, A.H.:
  On Generating Variable Structure Architectures for Distributed Intelligence Systems. 1991.

• Dimitrovici, Cristian; Hummert, Udo; Petrucci, Laure:
  Semantics, Composition and Net Properties of Algebraic High-Level Nets. 1991.

• Sami, Y.; Vidal-Naquet, G.:
  Formalisation of the Behavior of Actors by Colored Petri Nets and some Applications. 1991.

• Varhol, Peter D.:
  ML and Colored Petri Nets for Modeling and Simulation: a Little Language for a Big Job. (ML: Meta Language functional programming language). 1991.

• Couvreur, J.M.; Haddad, S.; Peyre, J.F.:
  Computation of Generative Families of Positive Semi-Flows in Two Types of Coloured Nets. 1991.

• Ezpeleta, J.; Couvreur, J.M.:
  A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. 1991.

• Valmari, Antti:
  Stubborn Sets of Coloured Petri Nets. 1991.

• Morasca, S.; Pezzè, M.; Trubian, M.:
  Timed High-Level Nets. 1991.

• Henderson, W.; Taylor, P.G.:
  Embedded Processes in Stochastic Petri Nets. 1991.

• Borusan, A.; Ostapczenko, K.B.:
  DISPATCHER 1A: A Computer-Aided System for FMS Dispatching. 1990.

• Chehaibar, Ghassan:
  Validation of Phase-Executed Protocols Modelled with Colored Petri Nets. 1990.

• Couvreur, J.M.:
  The General Computations of Flows for Coloured Nets. 1990.

• Dimitrovici, Cristian; Hummert, Udo; Petrucci, Laure:
  The Properties of Algebraic Net Schemes in Some Semantics. 1990.

• Gorton, I.:
  Specifying Occam Programs with High-Level Petri Nets. 1990.

• Henderson, W.:
  Aggregation Methods on Exact Performance Analysis of Stochastic Petri Nets. 1990.

• Keesmaat, N.W.; Kleijn, H.C.M.; Rozenberg, G.:
  Vector Controlled Concurrent Systems. I: Basic Classes. 1990.

• Ramirez-Trevino, A.; Lopez-Mellado, E.:
  Qualitative Modeling of Assembly Tasks in Robot Cells Using Coloured Petri Nets. 1990.

• Song, Anhua; Zheng, Yinping:
  Modelling and Control of Online Scheduling Systems in Flexible Manufacturing Environment. 1990.

• Jensen, Kurt:
  Coloured Petri Nets: A High Level Language for System Design and Analysis. 1990.

• Sami, Y.; Vidal-Naquet, G.:
  Formalisation of the Behavior of Actors by Colored Petri Nets and some Applications. 1990.

• Vidal-Naquet, G.; Sami, Y.:
  Formalisation of the Behaviour of Actors by Coloured Petri Nets, and some Applications. 1990.

• Petrucci, L.:
  Combining Finkel's and Jensen's Reduction Techniques to Build Covering Trees for Coloured Nets. 1990.

• Richter, G.; Heuser, C.A.:
  Nets of Places and Links: a Coherent Presentation of Petri Nets for System Modeling. 1990.

• Stotts, P.D.; Godfrey, P.:
  Place/Transition Nets with Debit Arcs. 1990.

• Dimitrovici, Cristian; Hummert, Udo; Petrucci, Laure:
  The Properties of Algebraic Nets Schemes in some Semantics. 1990.

• Couvreur, Jean Michel; Martínez, Javier:
  Linear Invariants in Commutative High Level Nets. 1989.

• Demael, J.J.; Levis, A.H.:
  On the Generation of a Variable Structure Airport Surface Traffic Control System. 1989.

• Dutheillet, C.; Haddad, S.:
  Regular Stochastic Petri Nets. 1989.

• Florin, Gérard; Kaiser, Claude; Natkin, Stéphane:
  Petri Net Models of a Distributed Election Protocol on Unidirectional Ring. 1989.

• Huber, P.; Jensen, K.; Shapiro, R.M.:
  Hierarchies in Coloured Petri Nets. 1989.

• Menon, S.R.; Ferreira, P.M.; Kapoor, S.G.:
  A Colored Petri Net System for Simulation and Control of FMSs. 1989.

• Nutt, Gary J.:
  A Flexible, Distributed Simulation System. 1989.

• Scheschonk, G.; Vogt, A.:
  Design/OA - Eine Software-Entwicklungsumgebung für visuelle Entwurfssysteme. 1989.

• Valmari, Antti:
  Stubborn Sets for Reduced State Space Generation. 1989.

• Shiizuka, H.; Ishizuka, H.:
  An Information Transfer Model by Colored Petri Nets. I. Construction of a Basic Model. 1989.

• Shiizuka, H.; Ishizuka, H.:
  An Information Transfer Model by Colored Petri Nets. II. Modelling and Simulation. 1989.

• Demael, J.J.; Levis, A.H.:
  Generation of a Variable Structure Airport Surface Traffic Control System. 1989.

• Wang, Fei Yue; Gildea, Kevin; Rubenstein, Alan:
  A Colored Petri Net Model for Connection Management Services in MMS. 1989.

• Albert, Ken; Jensen, Kurt; Shapiro, Robert:
  DESIGN/CPN: A Tool Package Supporting the Use of Colored Nets. 1989.

• Belikov, Vitaly K.:
  The Four-Dimensional Matrix Model of Coloured Petri Net. 1989.

• Belikov, V.K.; Rutner, J.F.:
  Colored Petri Nets and the Matrix Approach. 1989.

• Cornelis, Eric:
  Traduction de Réseaux de Petri Colorés. 1988.

• Haddad, S.; Couvreur, J.M.:
  Validation of Parallel Systems with Coloured Petri Nets. 1988.

• Mercier des Rochettes, Roselyne:
  Sur l'utilisation des reseaux de Petri colores pour la commande des systemes de production: mise en oeuvre sur un atelier flexible. 1988.

• Mercier des Rochettes, R.; Descotes-Genon, B.; Ladet, P.:
  On the Control Specification of a Flexible Assembly System: Coloured Petri Nets Application. 1988.

• Jojczyk, Kazimierz; Konieczny, Janusz; Kuzak, Tadeusz:
  Generalized Nets. 1987.

Back to the Petri Nets Bibliography