Sage Journals: Discover world-class research

Open access

Research article

First published 2017-5

On calculation of state space for linear system of simple sequential processes with resources

Liang Hong, XiaoHua Wang, Xun Li [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2002-6

Reachability in Contextual Nets

Józef Winkowski

Fundamenta Informaticae

Retricted access

Research article

First published 2012-11

Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays

Louchka Popova-Zeugmann, Elisabeth Pelz

Fundamenta Informaticae

Retricted access

Research article

First published 2000-8

Analyzing and Reducing Simultaneous Firing in Signal-Event Nets

Stephan Roch

Fundamenta Informaticae

Retricted access

Research article

First published 1997-7

Petri Nets,Commutative Context-Free Grammars,and Basic Parallel Processes

Javier Esparza

Fundamenta Informaticae

Retricted access

Research article

First published 2018-7

Algorithms of reduced complexity to design control sequences for untimed Petri nets in varying and uncertain environments

Dimitri Lefebvre

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2001-9

Unfolding Based Algorithms for the Reachability Problem

Javier Esparza, Claus Schröter

Fundamenta Informaticae

Retricted access

Research article

First published 1982

A Note on Liveness in Generalized Petri Nets

Sylvely Sandring, Peter H. Starke

Fundamenta Informaticae

Retricted access

Research article

First published 2015-3

Computation of control related states of bottom k th-order system (with a non-sharing resource place) of Petri nets

Daniel Yuh Chao, Tsung Hsien Yu

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2014-9

A Holistic State Equation for Timed Petri Nets

Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein [...]

Fundamenta Informaticae

Search results