#### Filter Results:

- Full text PDF available (3)

#### Publication Year

2012

2017

- This year (1)
- Last 5 years (7)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jörg Desel, Görkem Kilinç
- Acta Informatica
- 2015

Whereas, for Petri nets, the traditional liveness property guarantees that each transition of a Petri net can always occur again, observable liveness requires that, from any reachable marking, each observable transition can be forced to fire by choosing appropriate controllable transitions; hence it is defined for Petri nets with distinguished observable… (More)

- Görkem Kilinç, Igor Nai Fovino, Carlo Ferigato, Ahmet Koltuksuz
- WODES
- 2012

- Luca Bernardinello, Görkem Kilinç, Lucia Pomello
- Petri Nets
- 2017

- Jörg Desel, Görkem Kilinç
- PNSE @ Petri Nets
- 2014

Abstract. Whereas the traditional liveness property for Petri nets guarantees that each transition can always occur again, observable liveness requires that, from any reachable marking, each observable transition can be forced to fire by choosing appropriate controllable transitions; hence it is defined for Petri nets with distinguished observable and… (More)

- Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello
- PNSE+ModPE
- 2013

We present a Petri net model of a protocol for the distributed generation of id-based private keys. Those keys can then be used for secure communications. The components of the system are built as refinements of a common interface, by applying a formal operation based on a class of morphisms between Elementary Net Systems. It is then shown that we can… (More)

- Luca Bernardinello, Görkem Kilinç, Lucia Pomello
- PNSE @ Petri Nets
- 2015

In distributed systems, it is often important that a user is not able to infer if a given action has been performed by another component, while still being able to interact with that component. This kind of problems has been studied with the help of a notion of “interference” in formal models of concurrent systems (e.g. CCS, Petri nets). Here, we propose… (More)

- Görkem Kilinç, Igor Nai Fovino
- CRITIS
- 2012

- ‹
- 1
- ›