scholarly journals Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets

2015 ◽  
Author(s):  
Willem Heijltjes ◽  
Dominic J.D. Hughes
Keyword(s):  
Petri Nets ◽  
Complexity Bounds ◽  
Product Logic ◽  
Proof Nets

Modeling and Analyzing Component-Based Distributed Railway Interlocking System with Petri Nets

2009 ◽  
Vol 129 (5) ◽  
pp. 455-461 ◽  
Author(s):  
Xinhong Hei ◽  
Sei Takahashi ◽  
Hideo Nakamura
Keyword(s):  
Petri Nets

Two Enhanced Heuristic Algorithms for the Minimum Initial Marking Problem of Petri Nets

2009 ◽  
Vol E92-A (11) ◽  
pp. 2732-2744
Author(s):  
Satoru OCHIIWA ◽  
Satoshi TAOKA ◽  
Masahiro YAMAUCHI ◽  
Toshimasa WATANABE
Keyword(s):  
Petri Nets ◽  
Heuristic Algorithms

Two Heuristic Algorithms for the Minimum Initial Marking Problem of Timed Petri Nets

2013 ◽  
Vol E96.A (2) ◽  
pp. 540-553
Author(s):  
Satoru OCHIIWA ◽  
Satoshi TAOKA ◽  
Masahiro YAMAUCHI ◽  
Toshimasa WATANABE
Keyword(s):  
Petri Nets ◽  
Heuristic Algorithms ◽  
Timed Petri Nets
Sign in / Sign up

Export Citation Format

Share Document