Testing experiments on unbounded systems: synchronizing sequences using Petri nets
- 1 January 2014
- journal article
- Published by Elsevier BV in IFAC Proceedings Volumes
- Vol. 47 (2), 155-161
- https://doi.org/10.3182/20140514-3-fr-4046.00104
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Testing Experiments on Synchronized Petri NetsIEEE Transactions on Automation Science and Engineering, 2013
- SynchronizationInformation and Computation, 2008
- Boundedness undecidability for synchronized netsInformation Processing Letters, 2006
- Synchronizing Monotonic AutomataLecture Notes in Computer Science, 2003
- DNA molecule provides a computing machine with both data and fuelProceedings of the National Academy of Sciences of the United States of America, 2003
- Programmable and autonomous computing machine made of biomoleculesNature, 2001
- Petri Net Languages and Infinite Subsets of NmJournal of Computer and System Sciences, 1999
- Principles and methods of testing finite state machines-a surveyProceedings of the IEEE, 1996
- Initializability consideration in sequential machine synthesisInternational Conference on Acoustics, Speech, and Signal Processing (ICASSP), 1992
- Parallel program schemataJournal of Computer and System Sciences, 1969