Toward efficient state space generation of algebraic Petri nets
ContributorsBuchs, Didier; Hostettler, Steve Patrick
Published inSMV technical report series, no. 206
Publication date2010
Abstract
Keywords
- System design and verification
- Higher-level Nets Models
- Algebraic Petri Nets
- State Space Generation
- Decisions Diagrams
Citation (ISO format)
BUCHS, Didier, HOSTETTLER, Steve Patrick. Toward efficient state space generation of algebraic Petri nets. In: SMV technical report series, 2010, n° 206.
Main files (1)
Article (Submitted version)
Identifiers
- PID : unige:12332