Open Access
| Issue |
MATEC Web Conf.
Volume 137, 2017
Modern Technologies in Manufacturing (MTeM 2017 - AMaTUC)
|
|
|---|---|---|
| Article Number | 01012 | |
| Number of page(s) | 6 | |
| Section | Manufacturing Engineering | |
| DOI | https://doi.org/10.1051/matecconf/201713701012 | |
| Published online | 22 November 2017 | |
- C. Soren, L. M. Kristensen, Lscs 01: Petri Net Approaches for Modelling and Validation (2003) [Google Scholar]
- K. Jensen, Proceedings of 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin (2001) [Google Scholar]
- K. Jensen, Formal Methods in System Design, Kluwer Academic Publishers 9 (1–2) 7 (1996) [CrossRef] [EDP Sciences] [Google Scholar]
- N. Viswanadham, Y. Narahari, Proc. IEEE Int. Conf. Robot. Automat 4 (1987). [Google Scholar]
- K. Jensen, Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use 1, Springer – Verlag, (1992) [Google Scholar]
- http://cpntools.org/ accessed on (2015) [Google Scholar]
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.