Search results: Sage Journals

Open accessResearch articleFirst published May, 2017

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

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

Advances in Mechanical Engineering

Restricted accessResearch articleFirst published June, 2002

Reachability in Contextual Nets

Józef Winkowski

Fundamenta Informaticae

Restricted accessResearch articleFirst published November, 2012

Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays

Louchka Popova-Zeugmann, Elisabeth Pelz

Fundamenta Informaticae

Restricted accessResearch articleFirst published August, 2000

Analyzing and Reducing Simultaneous Firing in Signal-Event Nets

Stephan Roch

Fundamenta Informaticae

Restricted accessResearch articleFirst published July, 1997

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

Javier Esparza

Fundamenta Informaticae

Restricted accessResearch articleFirst published July, 2018

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

Restricted accessResearch articleFirst published September, 2001

Unfolding Based Algorithms for the Reachability Problem

Javier Esparza, Claus Schröter

Fundamenta Informaticae

Restricted accessResearch articleFirst published 1982

A Note on Liveness in Generalized Petri Nets

Sylvely Sandring, Peter H. Starke

Fundamenta Informaticae

Restricted accessResearch articleFirst published March, 2015

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

Restricted accessResearch articleFirst published September, 2014

A Holistic State Equation for Timed Petri Nets

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

Fundamenta Informaticae

Open accessResearch articleFirst published May, 2017

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

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

Advances in Mechanical Engineering

Restricted accessResearch articleFirst published June, 2002

Reachability in Contextual Nets

Józef Winkowski

Fundamenta Informaticae

Restricted accessResearch articleFirst published November, 2012

Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays

Louchka Popova-Zeugmann, Elisabeth Pelz

Fundamenta Informaticae

Restricted accessResearch articleFirst published August, 2000

Analyzing and Reducing Simultaneous Firing in Signal-Event Nets

Stephan Roch

Fundamenta Informaticae

Restricted accessResearch articleFirst published July, 1997

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

Javier Esparza

Fundamenta Informaticae

Restricted accessResearch articleFirst published July, 2018

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

Restricted accessResearch articleFirst published September, 2001

Unfolding Based Algorithms for the Reachability Problem

Javier Esparza, Claus Schröter

Fundamenta Informaticae

Restricted accessResearch articleFirst published 1982

A Note on Liveness in Generalized Petri Nets

Sylvely Sandring, Peter H. Starke

Fundamenta Informaticae

Restricted accessResearch articleFirst published March, 2015

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

Restricted accessResearch articleFirst published September, 2014

A Holistic State Equation for Timed Petri Nets

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

Fundamenta Informaticae