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
}