PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Pagnoni, Anastasia"

Author of the publication

copydeleteadd this publication to your clipboard
Guidelines on using net analysis techniques with large specifications.

, , , , , and . Applications and Theory in Petri Nets, volume 222 of Lecture Notes in Computer Science, page 142-161. Springer, (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anastasia Bauernfeind University of Stuttgart

Anastasia Shamakina University of Stuttgart

Anastasia Fomina University of Stuttgart

Anastasia Tsianaka University of Stuttgart

 

Other publications of authors with the same name

Error-correcting Petri nets.. Natural Computing, 10 (2): 711-725 (2011)A Fair Competition Between Two or More Partners.. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, volume 52 of Informatik-Fachberichte, page 327-337. Springer, (1981)Guidelines on using net analysis techniques with large specifications., , , , , and . Applications and Theory in Petri Nets, volume 222 of Lecture Notes in Computer Science, page 142-161. Springer, (1985)Stochastic Nets and Performance Evaluation.. Advances in Petri Nets, volume 254 of Lecture Notes in Computer Science, page 460-478. Springer, (1986)Secure electronic bills of lading: blind counts and digital signatures., and . Electron. Commer. Res., 10 (3-4): 363-388 (2010)Detecting and Correcting Operation Errors of Distributed Systems.. Bulletin of the EATCS, (1996)Securing Uniqueness of Rights e-Documents: A Deontic Process Perspective., , and . JTAER, 3 (3): 83-102 (2008)Profiling Network Attacks Via AIS., and . WIRN/NAIS, volume 3931 of Lecture Notes in Computer Science, page 272-277. Springer, (2005)Liveness and duality in marked-graph-like predicate/transition nets., and . European Workshop on Applications and Theory in Petri Nets, volume 188 of Lecture Notes in Computer Science, page 331-352. Springer, (1984)On the various high-level Petri Nets and their invariatnts., and . Bulletin of the EATCS, (1984)