A method for stepwise refinement and abstraction of Petri nets (Q1052100): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Relevance of network theory to models of distributed/parallel processing / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Reduction and expansion of live and safe marked graphs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4133144 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Analysis of Petri nets by stepwise refinements / rank | |||
Normal rank | |||
Latest revision as of 08:37, 14 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A method for stepwise refinement and abstraction of Petri nets |
scientific article |
Statements
A method for stepwise refinement and abstraction of Petri nets (English)
0 references
1983
0 references
Petri nets
0 references
stepwise refinement
0 references
abstraction
0 references
synthesis of Petri nets
0 references
analysis of Petri nets
0 references
