ANARCO

ANARCO (ANAlisador de Redes de Petri COloridas) is a tool for the analysis of Petri Nets and Coloured Petri Nets.

Environment:

PC/DOS

Origin:

Departamento de Engenharia Eletrica, Pontificia Universidade Catolica do Rio de Janeiro, Brazil

Kind of Nets supported:

Petri Nets and Coloured Petri Nets

Functionalities:

Construction of the Reachability Tree
Structural ANALYSIS: Liveness, Boundedness, Cleanness, Place Invariants, Transition Invariants (only for Ordinary Nets)
Reduction Analysis (only for Ordinary nets)
Enumeration Algorithm

Availability:

POLICY: free for non commercial purposes
CONTACT Miguel Menasche

References:

ANARCO Web page

Notes:

The present version, v. 3.00, is available in two "flavours": Real Mode and DPMI mode. Real mode is limited to the 640 K of DOS RAM. DPMI mode may use, all available RAM.