Manual and Automatic Exploitation of Symmetries in SPN Models

This publication has 11 references indexed in Scilit:

• A structural colour simplification in well-formed coloured nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A symbolic reachability graph for coloured petri nets
  Theoretical Computer Science, 1997
• Modeling symmetric computer architectures by SWNs
  Published by Springer Nature ,1994
• Stochastic well-formed colored nets and symmetric modeling applications
  IEEE Transactions on Computers, 1993
• An example of modeling and evaluation of a concurrent program using colored stochastic Petri nets: Lamport's fast mutual exclusion algorithm
  IEEE Transactions on Parallel and Distributed Systems, 1992
• Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications
  Published by Springer Nature ,1991
• On Well-Formed Coloured Nets and Their Symbolic Reachability Graph
  Published by Springer Nature ,1991
• Stochastic high-level Petri nets and applications
  IEEE Transactions on Computers, 1988
• Modeling the software architecture of a prototype parallel machine
  Published by Association for Computing Machinery (ACM) ,1987
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984