Search results

Articles (5)

Journals (0)

1-5 of 5 results for Signal Interpreted Petri Nets

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2018-10

Conversion methodologies from Signal Interpreted Petri Nets to Ladder Diagram and C language in Arduino

Matheus Ungaretti Borges, Eduardo José Lima

International Journal of Mechanical Engineering Education

Retricted access

Research article

First published 2006-4

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2004-9

Detecting State Encoding Conflicts in STG Unfoldings Using SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2020

Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice

Pernice Simone, Follia Laura, Balbo Gianfranco [...]

Fundamenta Informaticae

Free access

Research article

First published 2010-2

Exhaustive Analysis of the Modular Structure of the Spliceosomal Assembly Network: A Petri Net Approach

Ralf H. Bortfeldt, Stefan Schuster, Ina Koch

In Silico Biology