Search results for ‘Kurt Jensen,Lars M. Kristensen’

Filter & Refine

      Cover image for Coloured Petri Nets: Modelling and Validation of Concurrent Systems
      Paperback
      Add to list Added to list

      Coloured Petri Nets: Modelling and Validation of Concurrent Systems

      Kurt Jensen,Lars M. Kristensen

      Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role.

      $161.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Coloured Petri Nets: Modelling and Validation of Concurrent Systems
      Hardback
      Add to list Added to list

      Coloured Petri Nets: Modelling and Validation of Concurrent Systems

      Kurt Jensen,Lars M. Kristensen

      Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role.

      $214.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Transactions on Petri Nets and Other Models of Concurrency VI
      Paperback
      Add to list Added to list

      Transactions on Petri Nets and Other Models of Concurrency VI

      Volume VI of ToPNoC presents 14 revised papers from the 32nd International Conference on Application and Theory of Petri Nets and Concurrency. Topics range from theoretical work to tool support…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order