Searching for "Timed Petri Nets and Temporal Linear Logic." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
An Application of a Temporal Linear Logic to Timed Petri Nets
- …An Application of a Temporal Linear Logic to Timed Petri Nets Takaharu Hirai Division…
- Cited by 6 (4 self) – Add To MetaCart
-
Propositional Temporal Linear Logic and its Application to Concurrent Systems
- … in temporal linear logic. This is shown in Sect. 4. Although Petri nets are described by linear logic, timed…
- Cited by 3 (1 self) – Add To MetaCart
-
PAPER Special Section on Concurrent Systems Technology
- … in temporal linear logic. This is shown in Sect. 4. Although Petri nets are described by linear logic, timed…
- Add To MetaCart
-
Temporal Linear Logic and Its Applications
- … . . . . . . . . . . . . . . . . 26 5.2 Timed Petri Nets and Temporal Linear Logic . . . . . . . . . . . . . . . . . . . . . . . 28 5…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 4.
