Results 211 to 217 of about 23,744 (217)

Model checking Petri nets with MSVL

Information Sciences, 2016
Ya Shi, Cong Tian, Zhenhua Duan
exaly  

State equation, controllability, and maximal matchings of petri nets

IEEE Transactions on Automatic Control, 1977
exaly  

Petri nets: Properties, analysis and applications

Proceedings of the IEEE, 1989
exaly  

Processes in Petri nets

1981
openaire   +2 more sources

Bibliography of Petri nets

1987
Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter   +4 more
openaire   +1 more source

Reduction of Petri-nets

1976
Gérard Berthelot, Gérard Roucairol
openaire   +1 more source

Unifying Petri Nets, Advances in Petri Nets

openaire   +1 more source