Bibliography
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures
Berndt Farwer.
A multi-region linear logic based calculus for dynamic Petri net
structures.
Fundamenta Informaticae, 43(1-4):61-79, 2000.
BibTeX
@article{Farwer00,
Author = {Farwer, Berndt},
Journal = {Fundamenta Informaticae},
Number = {1--4},
Pages = {61--79},
Publisher = {IOS Press, Amsterdam},
Title = {A Multi-region Linear Logic Based Calculus for Dynamic {Petri} Net Structures},
Volume = {43},
Year = 2000
}
