66:
668:
25:
223:
168:
302:. As such, it aims at recovering concurrent, independent behavior from transitions between global states. Theory of regions handles elementary net systems as well as P/T nets and other kinds of nets. An important point is that the approach is aimed at the synthesis of unlabeled Petri nets only.
505:
551:
349:
441:
404:
241:
375:
709:
650:
83:
38:
277:
259:
204:
186:
149:
52:
130:
733:
102:
87:
446:
109:
702:
116:
510:
316:
633:
Badouel, Eric; Darondeau, Philippe (1998), Reisig, Wolfgang; Rozenberg, Grzegorz (eds.), "Theory of regions",
98:
76:
695:
44:
596:
728:
417:
380:
123:
646:
616:
299:
675:
638:
608:
354:
679:
581:
407:
722:
637:, Lecture Notes in Computer Science, Berlin, Heidelberg: Springer, pp. 529–586,
411:
65:
612:
642:
620:
295:
667:
564:
Mukund: event/state separation property, state separation property.
177:
provides insufficient context for those unfamiliar with the subject
635:
Lectures on Petri Nets I: Basic Models: Advances in Petri Nets
216:
161:
59:
18:
561:
Each region represents a potential place of a Petri net.
601:
International
Journal of Foundations of Computer Science
683:
237:
182:
513:
449:
420:
383:
357:
319:
500:{\displaystyle \sigma (s')=\sigma (s)+\tau (\ell )}
232:
may be too technical for most readers to understand
90:. Unsourced material may be challenged and removed.
545:
499:
435:
398:
369:
343:
414:for ENS) and to each transition label a number
703:
8:
546:{\displaystyle (s,\ell ,s')\in \rightarrow }
53:Learn how and when to remove these messages
710:
696:
512:
448:
419:
382:
356:
344:{\displaystyle (S,\Lambda ,\rightarrow )}
318:
278:Learn how and when to remove this message
260:Learn how and when to remove this message
244:, without removing the technical details.
205:Learn how and when to remove this message
150:Learn how and when to remove this message
597:"Petri nets and step transition systems"
573:
351:is a mapping assigning to each state
242:make it understandable to non-experts
187:providing more context for the reader
7:
664:
662:
88:adding citations to reliable sources
329:
294:is an approach for synthesizing a
14:
443:such that consistency conditions
34:This article has multiple issues.
666:
313:A region of a transition system
221:
166:
64:
23:
595:Mukund, Madhavan (1992-12-01).
75:needs additional citations for
42:or discuss these issues on the
537:
514:
494:
488:
479:
473:
464:
453:
430:
424:
393:
387:
338:
335:
320:
1:
682:. You can help Knowledge by
436:{\displaystyle \tau (\ell )}
16:Petri net synthesis approach
750:
661:
399:{\displaystyle \sigma (s)}
613:10.1142/S0129054192000231
643:10.1007/3-540-65306-6_22
734:Computer science stubs
547:
501:
437:
400:
371:
370:{\displaystyle s\in S}
345:
557:Intuitive explanation
548:
502:
438:
401:
372:
346:
511:
447:
418:
381:
355:
317:
84:improve this article
183:improve the article
99:"Theory of regions"
543:
541:∈ →
497:
433:
396:
367:
341:
691:
690:
652:978-3-540-49442-3
582:"Madhavan Mukund"
300:transition system
292:Theory of regions
288:
287:
280:
270:
269:
262:
215:
214:
207:
160:
159:
152:
134:
57:
741:
712:
705:
698:
676:computer science
670:
663:
655:
625:
624:
592:
586:
585:
578:
552:
550:
549:
544:
536:
506:
504:
503:
498:
463:
442:
440:
439:
434:
405:
403:
402:
397:
376:
374:
373:
368:
350:
348:
347:
342:
283:
276:
265:
258:
254:
251:
245:
225:
224:
217:
210:
203:
199:
196:
190:
170:
169:
162:
155:
148:
144:
141:
135:
133:
92:
68:
60:
49:
27:
26:
19:
749:
748:
744:
743:
742:
740:
739:
738:
719:
718:
717:
716:
659:
653:
632:
629:
628:
594:
593:
589:
580:
579:
575:
570:
559:
529:
509:
508:
507:holds whenever
456:
445:
444:
416:
415:
379:
378:
353:
352:
315:
314:
311:
305:
284:
273:
272:
271:
266:
255:
249:
246:
238:help improve it
235:
226:
222:
211:
200:
194:
191:
180:
171:
167:
156:
145:
139:
136:
93:
91:
81:
69:
28:
24:
17:
12:
11:
5:
747:
745:
737:
736:
731:
721:
720:
715:
714:
707:
700:
692:
689:
688:
671:
657:
656:
651:
627:
626:
607:(4): 443–478.
587:
572:
571:
569:
566:
558:
555:
542:
539:
535:
532:
528:
525:
522:
519:
516:
496:
493:
490:
487:
484:
481:
478:
475:
472:
469:
466:
462:
459:
455:
452:
432:
429:
426:
423:
410:for P/T nets,
408:natural number
395:
392:
389:
386:
366:
363:
360:
340:
337:
334:
331:
328:
325:
322:
310:
307:
286:
285:
268:
267:
229:
227:
220:
213:
212:
174:
172:
165:
158:
157:
72:
70:
63:
58:
32:
31:
29:
22:
15:
13:
10:
9:
6:
4:
3:
2:
746:
735:
732:
730:
727:
726:
724:
713:
708:
706:
701:
699:
694:
693:
687:
685:
681:
678:article is a
677:
672:
669:
665:
660:
654:
648:
644:
640:
636:
631:
630:
622:
618:
614:
610:
606:
602:
598:
591:
588:
583:
577:
574:
567:
565:
562:
556:
554:
540:
533:
530:
526:
523:
520:
517:
491:
485:
482:
476:
470:
467:
460:
457:
450:
427:
421:
413:
409:
390:
384:
364:
361:
358:
332:
326:
323:
308:
306:
303:
301:
297:
293:
282:
279:
264:
261:
253:
250:February 2017
243:
239:
233:
230:This article
228:
219:
218:
209:
206:
198:
195:February 2017
188:
184:
178:
175:This article
173:
164:
163:
154:
151:
143:
132:
129:
125:
122:
118:
115:
111:
108:
104:
101: –
100:
96:
95:Find sources:
89:
85:
79:
78:
73:This article
71:
67:
62:
61:
56:
54:
47:
46:
41:
40:
35:
30:
21:
20:
684:expanding it
673:
658:
634:
604:
600:
590:
576:
563:
560:
312:
304:
291:
289:
274:
256:
247:
231:
201:
192:
181:Please help
176:
146:
137:
127:
120:
113:
106:
94:
82:Please help
77:verification
74:
50:
43:
37:
36:Please help
33:
729:Set theory
723:Categories
568:References
309:Definition
140:April 2016
110:newspapers
39:improve it
621:0129-0541
524:ℓ
492:ℓ
486:τ
471:σ
451:σ
428:ℓ
422:τ
385:σ
377:a number
362:∈
336:→
330:Λ
296:Petri net
45:talk page
534:′
461:′
298:from a
236:Please
124:scholar
649:
619:
412:binary
126:
119:
112:
105:
97:
674:This
131:JSTOR
117:books
680:stub
647:ISBN
617:ISSN
290:The
103:news
639:doi
609:doi
240:to
185:by
86:by
725::
645:,
615:.
605:03
603:.
599:.
553:.
48:.
711:e
704:t
697:v
686:.
641::
623:.
611::
584:.
538:)
531:s
527:,
521:,
518:s
515:(
495:)
489:(
483:+
480:)
477:s
474:(
468:=
465:)
458:s
454:(
431:)
425:(
406:(
394:)
391:s
388:(
365:S
359:s
339:)
333:,
327:,
324:S
321:(
281:)
275:(
263:)
257:(
252:)
248:(
234:.
208:)
202:(
197:)
193:(
189:.
179:.
153:)
147:(
142:)
138:(
128:·
121:·
114:·
107:·
80:.
55:)
51:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.