SLAPN: A Tool for Slicing Algebraic Petri Nets

Yasir Imtiaz Khan, Nicolas Guelfi

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

    Original languageEnglish
    Title of host publicationPNSE'14 International Workshop on Petri Nets and Software Engineering Tunis, Tunisia, June 23-24, 2014
    Publication statusPublished - 2014
    EventInternational Workshop on Petri Nets and Software Engineering (PNSE'14)A: Petri Nets 2014 - Tunis, Tunisia
    Duration: 23 Jun 2014 → 24 Jun 2014

    Publication series

    NameConference: International Workshop on Petri Nets and Software Engineering (PNSE'14)A

    Workshop

    WorkshopInternational Workshop on Petri Nets and Software Engineering (PNSE'14)A
    Abbreviated titlePNSE'14
    Country/TerritoryTunisia
    CityTunis
    Period23/06/14 → 24/06/14

    Cite this