From petri nets to linear logic

2005 ◽  
pp. 313-340 ◽  
Author(s):  
Narciso Martí-Oliet ◽  
José Meseguer
Keyword(s):  
Petri Nets ◽  
Linear Logic

Petri Nets and Linear Logic

Petri Nets ◽  
2010 ◽  
pp. 481-500 ◽  
Author(s):  
Brigitte Pradin ◽  
Robert Valette ◽  
Nicolas Rivire
Keyword(s):  
Petri Nets ◽  
Linear Logic

Petri nets as models of linear logic

1990 ◽  
pp. 147-161 ◽  
Author(s):  
Uffe Engberg ◽  
Glynn Winskel
Keyword(s):  
Petri Nets ◽  
Linear Logic

LINEAR LOGIC FOR IMPRECISE FIRINGS IN OBJECT PETRI NETS

1995 ◽  
pp. 119-128 ◽  
Author(s):  
Janette CARDOSO ◽  
Robert VALETTE ◽  
Brigitte PRADIN-CHEZALVIEL
Keyword(s):  
Petri Nets ◽  
Linear Logic

scholarly journals Completeness results for linear logic on Petri nets

1997 ◽  
Vol 86 (2) ◽  
pp. 101-135 ◽  
Author(s):  
Uffe Engberg ◽  
Glynn Winskel
Keyword(s):  
Petri Nets ◽  
Linear Logic

scholarly journals Debits and Credits in Petri Nets and Linear Logic

2015 ◽  
pp. 135-159
Author(s):  
Massimo Bartoletti ◽  
Pierpaolo Degano ◽  
Paolo Di Giamberardino ◽  
Roberto Zunino
Keyword(s):  
Petri Nets ◽  
Linear Logic
Sign in / Sign up

Export Citation Format

Share Document