Formal Modeling and Analysis Techniques for High Level Petri Nets
Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
FIU Digital Commons
2014
|
| Subjects: | |
| Online Access: | http://digitalcommons.fiu.edu/etd/1522 http://digitalcommons.fiu.edu/cgi/viewcontent.cgi?article=2592&context=etd |