Skip to content
Home
About Us
Resources
Profiles Metrics
Authors Directory
Institutions Directory
Top Authors
Top Institutions
Top Sponsors
AI Digest
Contact Us
Menu
Home
About Us
Resources
Profiles Metrics
Authors Directory
Institutions Directory
Top Authors
Top Institutions
Top Sponsors
AI Digest
Contact Us
Home
About Us
Resources
Profiles Metrics
Authors Directory
Institutions Directory
Top Authors
Top Institutions
Top Sponsors
AI Digest
Contact Us
Menu
Home
About Us
Resources
Profiles Metrics
Authors Directory
Institutions Directory
Top Authors
Top Institutions
Top Sponsors
AI Digest
Contact Us
Publication Details
AFRICAN RESEARCH NEXUS
SHINING A SPOTLIGHT ON AFRICAN RESEARCH
computer science
Distributing finite automata through Petri net synthesis
Formal Aspects of Computing, Volume 13, No. 6, Year 2002
Notification
URL copied to clipboard!
Description
The synthesis problem for Petri nets consists in deciding constructively the existence of a Petri net with sequential state graph isomorphic to a given graph. If events are attached to locations, one may set as an additional requirement that the synthesised net should be distributable; i.e. such that events at different locations have no common input place, whence distributed conflicts are avoided. Distributable nets are easily implemented by finite families of automata (one per location) communicating with each other by asynchronous message passing. We show that the general Petri net synthesis problem and its distributed version may both be solved in time polynomial in the size of the given graph. We report on some preliminary experiments of Petri net synthesis applied to the distribution of reactive automata using the tool SYNET. © 2002 BCS.
Authors & Co-Authors
Badouel, Éric
Cameroon, Yaounde
Ecole National Superieure Polytechnique Cameroon
Caillaud, Benôit Ît
France, Rennes
Institut de Recherche en Informatique et Systèmes Aléatoires
Darondeau, Philippe
France, Rennes
Institut de Recherche en Informatique et Systèmes Aléatoires
Statistics
Citations: 67
Authors: 3
Affiliations: 2
Identifiers
Doi:
10.1007/s001650200022
ISSN:
09345043