Search results

Articles (7)

Journals (0)

1-7 of 7 results for pomsets

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 1996-12

Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets

Józef Winkowski

Fundamenta Informaticae

Retricted access

Research article

First published 1988

Compositional Semantics of Pure Place/Transition Systems 1

Antoni Mazurkiewicz

Fundamenta Informaticae

Retricted access

Research article

First published 2007-10

Towards a Framework for Modelling Behaviours of Hybrid Systems

Józef Winkowski

Fundamenta Informaticae

Retricted access

Research article

First published 2008-5

An Algebraic Framework for Defining Random Concurrent Behaviours

Józef Winkowski

Fundamenta Informaticae

Retricted access

Research article

First published 2007-10

Making Petri Nets Safe and Free of Internal Transitions

Eike Best, Philippe Darondeau, Harro Wimmel

Fundamenta Informaticae

Retricted access

Research article

First published 2011-5

Multiplicative Transition Systems

Józef Winkowski

Fundamenta Informaticae

Retricted access

Research article

First published 2000-2

On Topological Hierarchies of Temporal Properties

Christel Baier, Marta Kwiatkowska

Fundamenta Informaticae