No open-access abstract is available for this article. Use the DOI link on the right to read the full text.
Keywords
Petri net
Computer science
Automation
Formal verification
Context (archaeology)
Process architecture
Formal methods
Programming language
Reliability engineering
Engineering
Subject Areas
Petri Nets in System Modeling
·Computational Theory and Mathematics ·Physical Sciences
Formal Methods in Verification
·Computational Theory and Mathematics ·Physical Sciences
Business Process Modeling and Analysis
·Management Information Systems ·Social Sciences
Citations by Year
2018: 1
Loading…
Loading…