Menu

Maciej Koutny

38 published titles

An axiomatisation of duplication equivalence in the Petri Box Calculus

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 1997
  • Details

Application and theory of petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle Upon Tyne, UK, June, 25-29, 2001 : proceedings

(Contributor)

1 edition

  • ISBN: 3540422528
  • Springer
  • 2001
  • Details

Detecting state coding conflicts in STGs using integer programming

(Contributor)

1 edition

  • University of Newcastle upon Tyne
  • 2002
  • Details

Detecting state coding in STG unfoldings using SAT

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2003
  • Details

Logic synthesis avoiding state space explosion

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2003
  • Details

Modelling opacity using Petri nets

(Contributor)

1 edition

  • University of Newcastle-upon-Tyne, Computing Science
  • 2004
  • Details

Formal languages and concurrent behaviours

(Contributor)

1 edition

  • University of Newcastle Upon Tyne, Computing Science
  • 2007
  • Details

Structured occurrence nets : a formalism for aiding system failure prevention and analysis techniques

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2008
  • Details

Transactions on petri nets and other models of concurrency III

(Contributor)

1 edition

  • ISBN: 9783642048548
  • Springer
  • 2009
  • Details

Transactions on petri nets and other models of concurrency IV

(Contributor)

1 edition

  • ISBN: 9783642182228
  • Springer
  • 2010
  • Details

Synthesis of general Petri nets with localities

1 edition

  • Computer Science, Newcastle University
  • 2010
  • Details

Modelling reaction systems with petri nets

(Contributor)

1 edition

  • Newcastle University
  • 2011
  • Details

Regions of petri nets with a/sync connections

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Synthesis problem for Petri nets with localities

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Causality in structured occurrence nets

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Timed migration and interaction with access permissions

(Contributor)

1 edition

  • Computing Science, Newcastle University
  • 2011
  • Details

Timed mobility in process algebra and Petri nets

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Coverability and inhibitor arcs : an example

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Causality in extensions of Petri nets

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

ITL semantics of composite Petri nets.

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Membrane systems with qualitative evolution rules

(Contributor)

1 edition

  • Computing Science, Newcastle University
  • 2011
  • Details

Mutex causality in processes and traces of general elementary nets

(Contributor)

1 edition

  • Computing Science, Newcastle University
  • 2011
  • Details

Mutex paradigm of concurrency

(Contributor)

1 edition

  • Computing Science, Newcastle University
  • 2011
  • Details

Localities in systems with a/sync communication

(Contributor)

1 edition

  • Computing Science, Newcastle University
  • 2011
  • Details

Relevance of entities in reaction systems

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Concur 2012 - concurrency theory : 23rd International Conference, CONCUR 2012, Newcastle Upon Tyne, U.K. September 4-7 2012 : proceedings

(Contributor)

1 edition

  • ISBN: 9783642329395
  • Springer
  • 2012
  • Details

Modeling biological gradient formation : combining partial differential equations and Petri nets

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2013
  • Details

Transactions on petri nets and other models of concurrency VII

(Contributor)

1 edition

  • ISBN: 9783642381423
  • Springer
  • 2013
  • Details

Transactions on petri nets and other models of concurrency VIII

(Contributor)

1 edition

  • ISBN: 9783642404641
  • Springer
  • 2013
  • Details

Generalising traces

(Contributor)

1 edition

  • Computing Science, Newcastle University
  • 2014
  • Details

Transactions on petri nets and other models of concurrency IX

(Contributor)

1 edition

  • ISBN: 9783662457290
  • Springer
  • 2014
  • Details

Opacity in internet of things with Cloud computing

(Contributor)

1 edition

  • University of Newcastle Upon Tyne, Computing Science
  • 2015
  • Details

Transactions on Petri nets and other models of concurrency X

(Contributor)

1 edition

  • ISBN: 9783662486498
  • Springer
  • 2015
  • Details

Modelling provenance using structured occurrence networks

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • Details

Folded hasse diagrams of combined traces

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • Details

A taxonomy of persistent and nonviolent steps

1 edition

  • Newcastle University, Computing Science
  • Details

Unfolding CSPT-nets

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • Details

An extension of the taxonomy of persistent and nonviolent steps

1 edition

  • Newcastle University, Computing Science
  • Details

obnb.uk is a Good Stuff website.