Winkowski, J.

• Winkowski, J.:
  An Axiomatic Characterization of Algebras of Processes of Petri Nets. 2005.

• Winkowski, Józef:
  An algebraic characterization of independence of Petri net processes. 2003.

• Winkowski, Józef:
  Reachability in contextual nets. 2002.

• Winkowski, J.:
  Processes of timed Petri nets. 2000.

• Winkowski, Józef:
  A representation of processes of Petri nets by matrices. 1997.

• Winkowski, Józef:
  Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets. 1996.

• Winkowski, J.:
  Towards a Compositionality in Defining Timed Behaviours. 1991.

• Maggiolo-Schettini, A.; Pinna, G.M.; Winkowski, J.:
  A Compositional Semantics for Unmarked Predicate/Transition Nets. 1991.

• Winkowski, Józef:
  A Generalization of Petri Nets by Equipping them with Inputs and Outputs. 1990.

• Maggiolo-Schettini, Andrea; Winkowski, Józef:
  A Compositional Semantics for Timed Petri Nets. 1990.

• Maggiolo-Schettini, Andrea; Winkowski, Józef:
  A Generalization of Predicate/Transition Nets. 1990.

• Winkowski, Józef:
  An Algebraic Way of Defining Place/Transition Petri Nets. 1989.

• Maggiolo-Schettini, Andrea; Winkowski, Józef:
  An Algebraic Model for Timed Behaviours. 1989.

• Maggiolo-Schettini, Andrea; Winkowski, Józef:
  On Equivalence of Behaviour Expressions. 1989.

• Winkowski, Jósef:
  An Algebraic Way of Defining the Behaviours of Place/Transition Petri Nets. 1989.

• Winkowski, J.:
  An Algebraic Model for Communicating Processes. 1988.

• Winkowski, J.:
  Event Structure Representation of the Behaviour of Place/Transition Systems. 1988.

• Winkowski, J.; Maggiolo-Schettini, A.:
  An Algebra of Processes. 1987.

• Winkowski, J.:
  Observational Equivalence with Nonsequential Observations. 1987.

• Winkowski, J.; Maggiolo-Schettini, A.:
  An Algebra of Processes. 1985.

• Winkowski, J.:
  A Distributed Implementation of Petri Nets. 1983.

• Winkowski, J.:
  An Algebraic Description of System Behaviours. 1982.

• Winkowski, J.:
  Behaviours of Concurrent Systems. 1980.

• Maggiolo-Schettini, A.; Wedde, H.; Winkowski, J.:
  Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. 1979.

• Winkowski, J.:
  An Algebraic Approach to Non-Sequential Computation. 1978.

• Wedde, H.; Winkowski, J.:
  Determining Processes by Violations. 1977.

• Winkowski, J.:
  Algebras of Arrays, a Tool to Deal with Concurrency. 1977.

• Winkowski, J.:
  Algebras of Partial Sequences: A Tool to Deal with Concurrency. 1977.

• Winkowski, J.:
  An Algebraic Characterization of the Behaviour of Non-Sequential Systems. 1977.

• Winkowski, J.:
  Formal Theories of Petri Nets and Net Simulation. 1976.

• Winkowski, J.:
  On Sequential Modelling of Parallel Processes. 1976.

Back to the Petri Nets Bibliography