High-Level Petri Net Model Checking with AlPiNA
Published inFundamenta informaticae, vol. 113, no. 3-4, p. 229-264
Publication date2011
Abstract
Keywords
- System design and verification
- Higher-level Nets Models
- Algebraic Petri Nets
- State Space Generation
- Computer Tools for Nets
- Model Checking
Affiliation entities
Research groups
Citation (ISO format)
HOSTETTLER, Steve Patrick et al. High-Level Petri Net Model Checking with AlPiNA. In: Fundamenta informaticae, 2011, vol. 113, n° 3-4, p. 229–264. doi: 10.3233/FI-2011-608
Main files (1)
Article (Accepted version)
Identifiers
- PID : unige:18361
- DOI : 10.3233/FI-2011-608
Journal ISSN0169-2968