A method for stepwise refinement and abstraction of Petri nets
Authors:
- Ichiro SuzukiISIchiro Suzuki
- Tadao MurataTMTadao Murata
- 1 August 1983
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 27 (1) , 51-76
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and PerformanceIEEE Transactions on Software Engineering, 1980
- Relevance of network theory to models of distributed/parallel processingJournal of the Franklin Institute, 1980
- Reduction and expansion of live and safe marked graphsIEEE Transactions on Circuits and Systems, 1980
- Special Feature: Putting Petri Nets to WorkComputer, 1979
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979
- Petri NetsACM Computing Surveys, 1977