Sage Journals: Discover world-class research

Retricted access

Research article

First published 2024-3

Proof of Concept: Development of a Mitral Annuloplasty Ring With Crosshatch Net

Benjamin D. Seadler, David L. Joyce, James Zelten [...]

Innovations: Technology and Techniques in Cardiothoracic and Vascular Surgery

Retricted access

Research article

First published 1997-4

On the Power of Compositional Proofs for Nets: Relationships Between Completenesess and Modularity

B.A. Trakhtenbrot

Fundamenta Informaticae

Free access

Research article

First published 1996-11

On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity

B.A. Trakhtenbrot

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP -exhaustions

Joachim Wehler

Fundamenta Informaticae

Retricted access

Research article

First published 2001-2

Elementary Complexity and Geometry of Interaction

Patrick Baillot, Marco Pedicini

Fundamenta Informaticae

Retricted access

Research article

First published 1996-02

Investment Values of Lodging Property

jan A. de Roos, Stephen Rushmore

Cornell Hospitality Quarterly

Retricted access

Research article

First published 2010-2

Free-Choice Petri Nets without Frozen Tokens,and Bipolar Synchronization Systems

Joachim Wehler

Fundamenta Informaticae

Retricted access

Research article

First published 2003-5

Using State Equation to Prove Non-Reachability in Timed Petrinets

Louchka Popova-Zeugmann, Matthias Werner, Jan Richling

Fundamenta Informaticae

Retricted access

Research article

First published 2004-7

A Method to Prove Non-Reachability in Priority Duration Petri Nets

Matthias Werner, Louchka Popova-Zeugmann, Jan Richling

Fundamenta Informaticae

Retricted access

Research article

First published 2003-2

Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy

Amin Coja-Oghlan, Mark-Olivier Stehr

Fundamenta Informaticae

Search results